{"total":30,"rows":[{"id":"2210.12283","title":"Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs","created":"2022-10-21","cited_by_count":291,"area":null},{"id":"2205.12615","title":"Autoformalization with Large Language Models","created":"2022-05-25","cited_by_count":263,"area":null},{"id":"2203.08913","title":"Memorizing Transformers","created":"2022-03-16","cited_by_count":226,"area":null},{"id":"2104.01112","title":"NaturalProofs: Mathematical Theorem Proving in Natural Language","created":"2021-03-24","cited_by_count":81,"area":null},{"id":"2205.12910","title":"NaturalProver: Grounded Mathematical Proof Generation with Language Models","created":"2022-05-25","cited_by_count":72,"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.06223","title":"LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning","created":"2021-01-15","cited_by_count":46,"area":null},{"id":"2311.03755","title":"Multilingual Mathematical Autoformalization","created":"2023-11-07","cited_by_count":39,"area":null},{"id":"2406.07222","title":"Reliable Evaluation and Benchmarks for Statement Autoformalization","created":"2024-06-11","cited_by_count":32,"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":"2309.15806","title":"Lyra: Orchestrating Dual Correction in Automated Theorem Proving","created":"2023-09-27","cited_by_count":25,"area":null},{"id":"2502.05567","title":"ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data","created":"2025-02-08","cited_by_count":23,"area":null},{"id":"2211.07524","title":"Towards a Mathematics Formalisation Assistant using Large Language Models","created":"2022-11-14","cited_by_count":22,"area":null},{"id":"2205.15231","title":"A Survey in Mathematical Language Processing","created":"2022-05-30","cited_by_count":9,"area":null},{"id":"2402.17032","title":"REFACTOR: Learning to Extract Theorems from Proofs","created":"2024-02-26","cited_by_count":9,"area":null},{"id":"2404.01234","title":"GFLean: An Autoformalisation Framework for Lean via GF","created":"2024-04-01","cited_by_count":9,"area":null},{"id":"2408.14915","title":"Can Transformers Do Enumerative Geometry?","created":"2024-08-27","cited_by_count":8,"area":null},{"id":"2510.25427","title":"RLMEval: Evaluating Research-Level Neural Theorem Proving","created":"2025-10-29","cited_by_count":8,"area":null},{"id":"2509.09810","title":"Towards a Common Framework for Autoformalization","created":"2025-09-11","cited_by_count":7,"area":null},{"id":"2506.10558","title":"StepProof: Step-by-step verification of natural language mathematical proofs","created":"2025-06-12","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":"2605.14061","title":"MathAtlas: A Benchmark for Autoformalization in the Wild","created":"2026-05-13","cited_by_count":4,"area":null},{"id":"2202.04847","title":"A Survey on Artificial Intelligence for Source Code: A Dialogue Systems Perspective","created":"2022-02-10","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":"2101.11716","title":"Disambiguating Symbolic Expressions in Informal Documents","created":"2021-01-25","cited_by_count":1,"area":null},{"id":"2303.17513","title":"Improving the Diproche CNL through Autoformalization via Large Language Models","created":"2023-03-12","cited_by_count":1,"area":null},{"id":"2501.14951","title":"E-Gen: Leveraging E-Graphs to Improve Continuous Representations of Symbolic Expressions","created":"2025-01-24","cited_by_count":1,"area":null},{"id":"2504.19188","title":"Hierarchical Attention Generates Better Proofs","created":"2025-04-27","cited_by_count":1,"area":null},{"id":"2304.06186","title":"Using Large Language Models for (De-)Formalization and Natural Argumentation Exercises for Beginner's Students","created":"2023-04-12","cited_by_count":0,"area":null},{"id":"2410.18194","title":"ZIP-FIT: Embedding-Free Data Selection via Compression-Based Alignment","created":"2024-10-23","cited_by_count":0,"area":null}],"next_cursor":null}