{"total":14,"rows":[{"id":"2507.03112","title":"RLVER: Reinforcement Learning with Verifiable Emotion Rewards for Empathetic Agents","created":"2025-07-03","cited_by_count":25,"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.17114","title":"Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models","created":"2025-06-20","cited_by_count":20,"area":"lr"},{"id":"2510.24592","title":"ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization","created":"2025-10-28","cited_by_count":20,"area":"lr"},{"id":"2507.06181","title":"CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization","created":"2025-07-08","cited_by_count":16,"area":"lr"},{"id":"2510.02312","title":"KaVa: Latent Reasoning via Compressed KV-Cache Distillation","created":"2025-10-02","cited_by_count":8,"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":"2511.17473","title":"Masked-and-Reordered Self-Supervision for Reinforcement Learning from Verifiable Rewards","created":"2025-11-21","cited_by_count":5,"area":"lr"},{"id":"2601.05073","title":"Milestones over Outcome: Unlocking Geometric Reasoning with Sub-Goal Verifiable Reward","created":"2026-01-08","cited_by_count":4,"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":"2602.20770","title":"Pipeline for Verifying LLM-Generated Mathematical Solutions","created":"2026-02-24","cited_by_count":1,"area":"lr"},{"id":"2606.08728","title":"Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery","created":"2026-06-07","cited_by_count":1,"area":"lr"},{"id":"2602.00998","title":"Reliable Use of Lemmas via Eligibility Reasoning and Section$-$Aware Reinforcement Learning","created":"2026-02-01","cited_by_count":0,"area":"lr"},{"id":"2609.30192","title":"SAGE: Mitigating Long-Horizon Reasoning Biases via Topological Guidance","created":"2026-09-24","cited_by_count":0,"area":"lr"}],"next_cursor":null}