{"total":24,"rows":[{"id":"2512.17260","title":"Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience","created":"2025-12-19","cited_by_count":44,"area":null},{"id":"2506.21621","title":"The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs","created":"2025-06-23","cited_by_count":30,"area":null},{"id":"2603.17839","title":"How do LLMs Compute Verbal Confidence","created":"2026-03-18","cited_by_count":26,"area":null},{"id":"2509.22638","title":"Language Models Can Learn from Verbal Feedback Without Scalar Rewards","created":"2025-09-26","cited_by_count":18,"area":null},{"id":"2505.15607","title":"From Problem-Solving to Teaching Problem-Solving: Aligning LLMs with Pedagogy using Reinforcement Learning","created":"2025-05-21","cited_by_count":17,"area":null},{"id":"2510.11696","title":"QeRL: Beyond Efficiency -- Quantization-enhanced Reinforcement Learning for LLMs","created":"2025-10-13","cited_by_count":16,"area":null},{"id":"2512.14051","title":"OpenDataArena: A Fair and Open Arena for Benchmarking Post-Training Dataset Value","created":"2025-12-16","cited_by_count":15,"area":null},{"id":"2602.21492","title":"GradAlign: Gradient-Aligned Data Selection for LLM Reinforcement Learning","created":"2026-02-25","cited_by_count":12,"area":null},{"id":"2602.12036","title":"Composition-RL: Compose Your Verifiable Prompts for Reinforcement Learning of Large Language Models","created":"2026-02-12","cited_by_count":6,"area":null},{"id":"2604.18995","title":"$R^2$-dLLM: Accelerating Diffusion Large Language Models via Spatio-Temporal Redundancy Reduction","created":"2026-04-21","cited_by_count":6,"area":null},{"id":"2512.01224","title":"CoSineVerifier: Tool-Augmented Answer Verification for Computation-Oriented Scientific Questions","created":"2025-12-01","cited_by_count":4,"area":null},{"id":"2601.09733","title":"Closing the Data Loop: Using OpenDataArena to Engineer Superior Training Datasets","created":"2025-12-30","cited_by_count":4,"area":null},{"id":"2602.09003","title":"Data Science and Technology Towards AGI Part I: Tiered Data Management","created":"2026-02-09","cited_by_count":4,"area":null},{"id":"2602.11877","title":"Towards Fair and Comprehensive Evaluation of Routers in Collaborative LLM Systems","created":"2026-02-12","cited_by_count":3,"area":null},{"id":"2603.05881","title":"Confidence Before Answering: A Paradigm Shift for Efficient LLM Uncertainty Estimation","created":"2026-03-06","cited_by_count":3,"area":null},{"id":"2609.01354","title":"Where the Verifier Fails: A Category-Level Audit of Reward Signals in RLVR","created":"2026-09-01","cited_by_count":3,"area":null},{"id":"2607.00152","title":"GRPO, Dr. GRPO, and DAPO Are Three Operations on One Number: The Group-Standard-Deviation Identity","created":"2026-06-30","cited_by_count":2,"area":null},{"id":"2607.04332","title":"On the effectiveness of reward functions in reinforcement learning for confidence calibration of large language models","created":"2026-07-05","cited_by_count":2,"area":null},{"id":"2605.26971","title":"RLVR Datasets and Where to Find Them: Tracing Data Lineage for Better Training Data","created":"2026-05-26","cited_by_count":1,"area":null},{"id":"2605.12384","title":"Scalable Token-Level Hallucination Detection in Large Language Models","created":"2026-05-12","cited_by_count":0,"area":null},{"id":"2605.16704","title":"Convex Dataset Valuation for Post-Training","created":"2026-05-15","cited_by_count":0,"area":null},{"id":"2605.27088","title":"LLMs Are Already Good Tutors: Training-Free Prompt Optimization for Pedagogical Math Tutoring","created":"2026-05-26","cited_by_count":0,"area":null},{"id":"2608.24492","title":"When Do Supervised UQ Ensembles Improve LLM Hallucination Detection? A Robustness Study","created":"2026-08-25","cited_by_count":0,"area":null},{"id":"2610.12659","title":"MagicBeanStalk: Escaping the RLVR Zero Advantage Trap with Recursive Data Synthesis","created":"2026-10-08","cited_by_count":0,"area":null}],"next_cursor":null}