{"total":69,"rows":[{"id":"2206.14858","title":"Solving Quantitative Reasoning Problems with Language Models","created":"2022-06-29","cited_by_count":1392,"area":"lr"},{"id":"2405.14333","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","created":"2024-05-23","cited_by_count":234,"area":"synth"},{"id":"2205.11491","title":"HyperTree Proof Search for Neural Theorem Proving","created":"2022-05-23","cited_by_count":197,"area":null},{"id":"2502.07640","title":"Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving","created":"2025-02-11","cited_by_count":133,"area":null},{"id":"2102.06203","title":"Proof Artifact Co-training for Theorem Proving with Language Models","created":"2021-02-11","cited_by_count":132,"area":"offlinerl"},{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2502.00212","title":"STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving","created":"2025-01-31","cited_by_count":79,"area":"lr"},{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"area":null},{"id":"2407.00695","title":"Learning Formal Mathematics From Intrinsic Motivation","created":"2024-06-30","cited_by_count":45,"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":"2412.06176","title":"AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and Treefinement","created":"2024-12-09","cited_by_count":35,"area":"synth"},{"id":"2506.19923","title":"Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs","created":"2025-06-24","cited_by_count":31,"area":"agents"},{"id":"2407.17227","title":"LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover","created":"2024-07-24","cited_by_count":25,"area":"lr"},{"id":"2106.09146","title":"Contrastive Reinforcement Learning of Symbolic Reasoning Domains","created":"2021-06-16","cited_by_count":17,"area":null},{"id":"2106.03906","title":"Learning to Guide a Saturation-Based Theorem Prover","created":"2021-06-07","cited_by_count":15,"area":null},{"id":"2206.04115","title":"Simplifying Polylogarithms with Machine Learning","created":"2022-06-08","cited_by_count":15,"area":null},{"id":"2211.15864","title":"Peano: Learning Formal Mathematical Reasoning","created":"2022-11-29","cited_by_count":15,"area":"lr"},{"id":"2112.10664","title":"Proving Theorems using Incremental Learning and Hindsight Experience Replay","created":"2021-12-20","cited_by_count":13,"area":null},{"id":"2202.10337","title":"Integration of knowledge and data in machine learning","created":"2022-02-15","cited_by_count":13,"area":null},{"id":"2111.05364","title":"Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems","created":"2021-10-29","cited_by_count":12,"area":null},{"id":"2301.11479","title":"Alien Coding","created":"2023-01-27","cited_by_count":9,"area":null},{"id":"2105.14706","title":"The Role of Entropy in Guiding a Connection Prover","created":"2021-05-31","cited_by_count":8,"area":null},{"id":"2107.06750","title":"Fast and Slow Enigmas and Parental Guidance","created":"2021-07-14","cited_by_count":8,"area":null},{"id":"2205.01981","title":"The Isabelle ENIGMA","created":"2022-05-04","cited_by_count":8,"area":null},{"id":"2104.05207","title":"Online Machine Learning Techniques for Coq: A Comparison","created":"2021-04-12","cited_by_count":7,"area":null},{"id":"2107.10034","title":"Learning Theorem Proving Components","created":"2021-07-21","cited_by_count":7,"area":null},{"id":"2403.04017","title":"Learning Guided Automated Reasoning: A Brief Survey","created":"2024-03-06","cited_by_count":7,"area":"lr"},{"id":"2102.05547","title":"Learning Equational Theorem Proving","created":"2021-02-10","cited_by_count":5,"area":"offlinerl"},{"id":"2205.14229","title":"Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis","created":"2022-05-27","cited_by_count":5,"area":null},{"id":"2211.08671","title":"LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions","created":"2022-11-16","cited_by_count":5,"area":"lr"},{"id":"2101.09142","title":"A Study of Continuous Vector Representationsfor Theorem Proving","created":"2021-01-22","cited_by_count":4,"area":null},{"id":"2103.13496","title":"Similarity-Based Equational Inference in Physics","created":"2021-03-24","cited_by_count":4,"area":null},{"id":"2206.01812","title":"Challenges to Solving Combinatorially Hard Long-Horizon Deep RL Tasks","created":"2022-06-03","cited_by_count":4,"area":null},{"id":"2305.08676","title":"An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations","created":"2023-05-15","cited_by_count":4,"area":null},{"id":"2401.13447","title":"Symbolic Equation Solving via Reinforcement Learning","created":"2024-01-24","cited_by_count":4,"area":"deeprl"},{"id":"2407.12185","title":"Satisficing Exploration for Deep Reinforcement Learning","created":"2024-07-16","cited_by_count":4,"area":"deeprl"},{"id":"2505.09639","title":"Study and improvement of search algorithms in two-players perfect information games","created":"2025-05-06","cited_by_count":4,"area":null},{"id":"2108.10821","title":"Graph Contrastive Pre-training for Effective Theorem Reasoning","created":"2021-08-24","cited_by_count":3,"area":null},{"id":"2210.03590","title":"Machine Learning Meets The Herbrand Universe","created":"2022-10-07","cited_by_count":3,"area":null},{"id":"2303.05854","title":"Lemmas: Generation, Selection, Application","created":"2023-03-10","cited_by_count":3,"area":null},{"id":"2307.09564","title":"Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis","created":"2023-07-13","cited_by_count":3,"area":null},{"id":"2408.09237","title":"QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning","created":"2024-08-17","cited_by_count":3,"area":"deeprl"},{"id":"2503.01389","title":"Learning Conjecturing from Scratch","created":"2025-03-03","cited_by_count":3,"area":null},{"id":"2102.04518","title":"A* Search Without Expansions: Learning Heuristic Functions with Deep Q-Networks","created":"2021-02-08","cited_by_count":2,"area":null},{"id":"2406.07897","title":"When Do Skills Help Reinforcement Learning? A Theoretical Analysis of Temporal Abstractions","created":"2024-06-12","cited_by_count":2,"area":"deeprl"},{"id":"2510.13551","title":"Tandem Training for Language Models","created":"2025-10-15","cited_by_count":2,"area":null},{"id":"2204.02737","title":"Adversarial Learning to Reason in an Arbitrary Logic","created":"2022-04-06","cited_by_count":1,"area":null},{"id":"2207.06679","title":"Learning to Prove Trigonometric Identities","created":"2022-07-14","cited_by_count":1,"area":null},{"id":"2209.02562","title":"Project proposal: A modular reinforcement learning based automated theorem prover","created":"2022-09-06","cited_by_count":1,"area":null},{"id":"2301.06870","title":"Learning to solve arithmetic problems with a virtual abacus","created":"2023-01-17","cited_by_count":1,"area":null},{"id":"2512.14252","title":"G\\\"odel's Poetry","created":"2025-12-16","cited_by_count":1,"area":null},{"id":"2602.22703","title":"Enhancing Geometric Perception in VLMs via Translator-Guided Reinforcement Learning","created":"2026-02-26","cited_by_count":1,"area":"lr"},{"id":"2608.28639","title":"Reward-Oracle MCTS for Formal Theorem Proving: Sample-Efficient Search and the Need for Kernel-Level Proof Auditing","created":"2026-08-11","cited_by_count":1,"area":null},{"id":"2107.09766","title":"Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning","created":"2021-07-16","cited_by_count":0,"area":null},{"id":"2211.11937","title":"Genetic Algorithm for Program Synthesis","created":"2022-11-22","cited_by_count":0,"area":null},{"id":"2303.00752","title":"Safety without alignment","created":"2023-02-27","cited_by_count":0,"area":null},{"id":"2311.11827","title":"Few-shot Multispectral Segmentation with Representations Generated by Reinforcement Learning","created":"2023-11-20","cited_by_count":0,"area":null},{"id":"2402.16878","title":"EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages","created":"2024-02-12","cited_by_count":0,"area":null},{"id":"2411.01188","title":"Learning Rules Explaining Interactive Theorem Proving Tactic Prediction","created":"2024-11-02","cited_by_count":0,"area":null},{"id":"2503.06592","title":"Automated Proof of Polynomial Inequalities via Reinforcement Learning","created":"2025-03-09","cited_by_count":0,"area":"deeprl"},{"id":"2503.07792","title":"Efficient Neural Clause-Selection Reinforcement","created":"2025-03-10","cited_by_count":0,"area":null},{"id":"2505.10422","title":"Decomposed Inductive Procedure Learning: Learning Academic Tasks with Human-Like Data Efficiency","created":"2025-05-15","cited_by_count":0,"area":null},{"id":"2507.03314","title":"Partial Label Learning for Automated Theorem Proving","created":"2025-07-04","cited_by_count":0,"area":null},{"id":"2511.08581","title":"DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs","created":"2025-11-11","cited_by_count":0,"area":"lr"},{"id":"2604.18587","title":"Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs","created":"2026-03-13","cited_by_count":0,"area":"lr"},{"id":"2606.05729","title":"Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search","created":"2026-06-04","cited_by_count":0,"area":null},{"id":"2606.28747","title":"Self-Supervised Theorem Discovery in a Formal Axiomatic System","created":"2026-06-27","cited_by_count":0,"area":"lr"},{"id":"2608.26009","title":"Imitation Learning for Connection-Tableau Construction","created":"2026-08-26","cited_by_count":0,"area":"offlinerl"},{"id":"2609.14533","title":"Proving olympiad geometry theorems on a superconducting quantum processor","created":"2026-09-13","cited_by_count":0,"area":null}],"next_cursor":null}