{"total":34,"rows":[{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263,"area":null},{"id":"2205.11491","title":"HyperTree Proof Search for Neural Theorem Proving","created":"2022-05-23","cited_by_count":197,"area":null},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2101.08286","title":"Can stable and accurate neural networks be computed? -- On the barriers of deep learning and Smale's 18th problem","created":"2021-01-20","cited_by_count":53,"area":null},{"id":"2205.12443","title":"Generating Natural Language Proofs with Verifier-Guided Search","created":"2022-05-25","cited_by_count":52,"area":null},{"id":"2102.09756","title":"TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning","created":"2021-02-19","cited_by_count":37,"area":null},{"id":"2301.02195","title":"Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs","created":"2023-01-05","cited_by_count":27,"area":null},{"id":"2405.17216","title":"Autoformalizing Euclidean Geometry","created":"2024-05-27","cited_by_count":27,"area":null},{"id":"2312.07622","title":"Mathematical Language Models: A Survey","created":"2023-12-12","cited_by_count":24,"area":null},{"id":"2505.23486","title":"Autoformalization in the Era of Large Language Models: A Survey","created":"2025-05-29","cited_by_count":21,"area":null},{"id":"2510.15981","title":"ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization","created":"2025-10-13","cited_by_count":21,"area":null},{"id":"2410.16429","title":"Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4","created":"2024-10-21","cited_by_count":18,"area":null},{"id":"2212.02094","title":"Learning Physically Realizable Skills for Online Packing of General 3D Shapes","created":"2022-12-05","cited_by_count":12,"area":null},{"id":"2604.23468","title":"Progress in Formalizing Sphere Packing in Dimension 8","created":"2026-04-25","cited_by_count":9,"area":null},{"id":"2604.03071","title":"Automatic Textbook Formalization","created":"2026-04-03","cited_by_count":8,"area":null},{"id":"2410.11133","title":"3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes","created":"2024-10-14","cited_by_count":6,"area":null},{"id":"2505.15740","title":"HybridProver: Augmenting Theorem Proving with LLM-Driven Proof Synthesis and Refinement","created":"2025-05-21","cited_by_count":6,"area":null},{"id":"2101.09142","title":"A Study of Continuous Vector Representationsfor Theorem Proving","created":"2021-01-22","cited_by_count":4,"area":null},{"id":"2406.11563","title":"Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI","created":"2024-06-17","cited_by_count":3,"area":null},{"id":"2512.04829","title":"Model-Based and Sample-Efficient AI-Assisted Math Discovery in Sphere Packing","created":"2025-12-04","cited_by_count":3,"area":null},{"id":"2607.13292","title":"Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases","created":"2026-07-14","cited_by_count":3,"area":null},{"id":"2102.03044","title":"Smart Proofs via Smart Contracts: Succinct and Informative Mathematical Derivations via Decentralized Markets","created":"2021-02-05","cited_by_count":2,"area":null},{"id":"2312.11425","title":"When can you trust feature selection? -- I: A condition-based analysis of LASSO and generalised hardness of approximation","created":"2023-12-18","cited_by_count":2,"area":null},{"id":"2608.15432","title":"Does the Proof Prove It That Way? Faithful Formalization of Elements Proofs","created":"2026-08-15","cited_by_count":2,"area":null},{"id":"2101.11716","title":"Disambiguating Symbolic Expressions in Informal Documents","created":"2021-01-25","cited_by_count":1,"area":null},{"id":"2601.07953","title":"Quantum automated theorem proving","created":"2026-01-12","cited_by_count":1,"area":null},{"id":"2607.07779","title":"From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier","created":"2026-07-08","cited_by_count":1,"area":null},{"id":"2109.01121","title":"A Reasoning Engine for the Gamification of Loop-Invariant Discovery","created":"2021-09-02","cited_by_count":0,"area":null},{"id":"2209.00083","title":"Feynman on Artificial Intelligence and Machine Learning, with Updates","created":"2022-08-31","cited_by_count":0,"area":null},{"id":"2408.03345","title":"Artifical intelligence and inherent mathematical difficulty","created":"2024-08-01","cited_by_count":0,"area":null},{"id":"2508.16224","title":"Self-Validated Learning for Particle Separation: A Correctness-Based Self-Training Framework Without Human Labels","created":"2025-08-22","cited_by_count":0,"area":null},{"id":"2606.04273","title":"Human agency in initial human-AI proof formalization workflows","created":"2026-06-02","cited_by_count":0,"area":null},{"id":"2608.21356","title":"AI with Authority, from Application to Silicon","created":"2026-08-21","cited_by_count":0,"area":null},{"id":"2609.10579","title":"A machine-checked proof of the Dong-Yang classification of optimal (n,4) binary codes for BSCs","created":"2026-09-05","cited_by_count":0,"area":null}],"next_cursor":null}