{"total":14,"rows":[{"id":"2411.16905","title":"Boundless Socratic Learning with Language Games","created":"2024-11-25","cited_by_count":12,"area":null},{"id":"2411.15143","title":"dafny-annotator: AI-Assisted Verification of Dafny Programs","created":"2024-11-05","cited_by_count":8,"area":null},{"id":"2510.15940","title":"Lean Finder: Semantic Search for Mathlib That Understands User Intents","created":"2025-10-08","cited_by_count":8,"area":null},{"id":"2604.06107","title":"Artificial Intelligence and the Structure of Mathematics","created":"2026-04-07","cited_by_count":4,"area":null},{"id":"2509.14274","title":"Discovering New Theorems via LLMs with In-Context Proof Learning in Lean","created":"2025-09-16","cited_by_count":2,"area":null},{"id":"2511.14778","title":"Learning Interestingness in Automated Mathematical Theory Formation","created":"2025-11-05","cited_by_count":2,"area":null},{"id":"2607.04631","title":"Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs","created":"2026-07-06","cited_by_count":1,"area":null},{"id":"2511.03405","title":"Adaptable Hindsight Experience Replay for Search-Based Learning","created":"2025-11-05","cited_by_count":0,"area":null},{"id":"2607.02390","title":"DecompRL: Solving Harder Problems by Learning Modular Code Generation","created":"2026-07-02","cited_by_count":0,"area":null},{"id":"2608.26334","title":"ProofEvolve: Neuro-Symbolic Evolution for Formal Automated Theorem Proving","created":"2026-08-26","cited_by_count":0,"area":null},{"id":"2609.25575","title":"Direct Optimization of Generators for Search in Automated Theorem Proving","created":"2026-09-22","cited_by_count":0,"area":null},{"id":"2609.28603","title":"Learning to Discover Interesting Mathematics","created":"2026-09-23","cited_by_count":0,"area":null},{"id":"2609.32228","title":"CompassPlay: Rewarding the Proposer for Where It Moves the Solver","created":"2026-09-26","cited_by_count":0,"area":null},{"id":"2609.32264","title":"LANTERN: Illuminating Hidden Mathematical Knowledge in Language Models","created":"2026-09-26","cited_by_count":0,"area":null}],"next_cursor":null}