The De Bruijn Factor
By Freek Wiedijk. 2000
50 citations recorded by the source corpus.
Subfields: Algorithms & Complexity
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Algorithms & Complexity
Citations in the corpus
- Proof Artifact Co-training for Theorem Proving with Language Models (2021, background): “Labeled data for imitation learning of theorem proving is scarce—formalization is notoriously labor-intensive, with an estimated cost of 2.5 man-years per megabyte of formalized mathematics (Wiedijk, 2000), and complex projects require years of labor from human specialists.”