{"total":15,"rows":[{"id":"2505.03335","title":"Absolute Zero: Reinforced Self-play Reasoning with Zero Data","created":"2025-05-06","cited_by_count":344,"area":"lr"},{"id":"2505.19590","title":"Learning to Reason without External Rewards","created":"2025-05-26","cited_by_count":210,"area":"lr"},{"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":"2412.11936","title":"A Survey of Mathematical Reasoning in the Era of Multimodal Large Language Model: Benchmark, Method & Challenges","created":"2024-12-16","cited_by_count":55,"area":"lr"},{"id":"2506.07927","title":"Solving Inequality Proofs with Large Language Models","created":"2025-06-09","cited_by_count":21,"area":"lr"},{"id":"2506.06499","title":"SPARQ: Synthetic Problem Generation for Reasoning via Quality-Diversity Algorithms","created":"2025-06-06","cited_by_count":7,"area":"lr"},{"id":"2506.10903","title":"Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning","created":"2025-06-12","cited_by_count":6,"area":"lr"},{"id":"2603.19514","title":"Learning to Disprove: Formal Counterexample Generation with Large Language Models","created":"2026-03-19","cited_by_count":5,"area":"lr"},{"id":"2504.04945","title":"A Llama walks into the 'Bar': Efficient Supervised Fine-Tuning for Legal Reasoning in the Multi-state Bar Exam","created":"2025-04-07","cited_by_count":3,"area":"lr"},{"id":"2604.16278","title":"Learning to Reason with Insight for Informal Theorem Proving","created":"2026-04-17","cited_by_count":2,"area":"lr"},{"id":"2604.18002","title":"Neural Garbage Collection: Learning to Forget while Learning to Reason","created":"2026-04-20","cited_by_count":2,"area":"lr"},{"id":"2508.06503","title":"Understanding Human Limits in Pattern Recognition: A Computational Model of Sequential Reasoning in Rock, Paper, Scissors","created":"2025-07-25","cited_by_count":0,"area":"lr"},{"id":"2602.17831","title":"The Token Games: Evaluating Language Model Reasoning with Puzzle Duels","created":"2026-02-19","cited_by_count":0,"area":"lr"},{"id":"2606.28747","title":"Self-Supervised Theorem Discovery in a Formal Axiomatic System","created":"2026-06-27","cited_by_count":0,"area":"lr"}],"next_cursor":null}