{"total":47,"rows":[{"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":"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":"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":"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":"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":"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":"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":"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":"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":"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.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":"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":"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}