1 citations · 1 across the 5 of their papers we have counts for
5 papers
Ablation and the Meno: Tools for Empirical Metamathematics
Zhengqin Fan, Simon DeDeo
We present the results from Meno, a simple autoformalizer that proves theorems in Lean by systematically exploring the space of both formal and informal proofs, and tactic ablation…
A correspondence problem for mathematical proof
Simon DeDeo, Eamon Duede
Mathematical proofs are often said to justify their conclusions by indicating the existence of a corresponding formal derivation. We argue that this widespread view relies on an un…
Explaining Necessary Truths
Gülce Kardeş, Simon DeDeo
Knowing the truth is rarely enough -- we also seek out reasons why the fact is true. While much is known about how we explain contingent truths, we understand less about how we exp…
Hard Proofs and Good Reasons
Simon DeDeo
Practicing mathematicians often assume that mathematical claims, when they are true, have good reasons to be true. Such a state of affairs is "unreasonable", in Wigner's sense, bec…
Parallel Complexity of Random Boolean Circuits
Jon Machta, Simon DeDeo, Stephan Mertens +1
Random instances of feedforward Boolean circuits are studied both analytically and numerically. Evaluating these circuits is known to be a P-complete problem and thus, in the worst…