{"total":13,"rows":[{"id":"2404.09939","title":"A Survey on Deep Learning for Theorem Proving","created":"2024-04-15","cited_by_count":57,"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":"2311.03583","title":"Finding Increasingly Large Extremal Graphs with AlphaZero and Tabu Search","created":"2023-11-06","cited_by_count":8,"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":"2203.04699","title":"Gym-saturation: an OpenAI Gym environment for saturation provers","created":"2022-03-09","cited_by_count":3,"area":null},{"id":"2411.14870","title":"Application of AI to formal methods - an analysis of current trends","created":"2024-11-22","cited_by_count":2,"area":null},{"id":"2309.09022","title":"gym-saturation: Gymnasium environments for saturation provers (System description)","created":"2023-09-16","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":"2510.21999","title":"Foundation of Intelligence: Review of Math Word Problems from Human Cognition Perspective","created":"2025-10-24","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":"2503.07792","title":"Efficient Neural Clause-Selection Reinforcement","created":"2025-03-10","cited_by_count":0,"area":null},{"id":"2506.23784","title":"When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)","created":"2025-06-30","cited_by_count":0,"area":null},{"id":"2511.04092","title":"An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction","created":"2025-11-06","cited_by_count":0,"area":null}],"next_cursor":null}