2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2026
Formalizing Abstract Simplicial Complexes & Stellar Subdivisions in Lean
Garett Cunningham, Daniel Zach, Stefan Friedl
The theory of simplicial complexes is a cornerstone of topology, offering a sophisticated tool for computing invariants. We present a formalization of abstract simplicial complexes…
cs.CL2023★ 2 cited
Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs
Garett Cunningham, Razvan C. Bunescu, David Juedes
The ever-growing complexity of mathematical proofs makes their manual verification by mathematicians very cognitively demanding. Autoformalization seeks to address this by translat…