32 citations · 125 across the 17 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Human agency in initial human-AI proof formalization workflows
Katherine M. Collins, Simon Frieder, Jonas Bayer +14
For centuries, human mathematicians have written proofs to substantiate their mathematical arguments; yet, the ability to automatically verify the validity of proofs has long been…
cs.AI2012★ 9 cited
Towards common-sense reasoning via conditional simulation: legacies of Turing in Artificial Intelligence
Cameron E. Freer, Daniel M. Roy, Joshua B. Tenenbaum
The problem of replicating the flexibility of human common-sense reasoning has captured the imagination of computer scientists since the early days of Alan Turing's foundational wo…