Search Results for author:
Found 2 papers, 2 papers with code
Autoformalizing Euclidean Geometry
One challenge in Euclidean geometry is that informal proofs rely on diagrams, leaving gaps in texts that are hard to formalize.
A Survey on Deep Learning for Theorem Proving
Theorem proving is a fundamental aspect of mathematics, spanning from informal reasoning in mathematical language to rigorous derivations in formal systems.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
