{"total":15,"rows":[{"id":"2606.15007","title":"Nemotron 3 Ultra: Open, Efficient Mixture-of-Experts Hybrid Mamba-Transformer Model for Agentic Reasoning","created":"2026-06-12","cited_by_count":42,"area":"lr"},{"id":"2604.03789","title":"Automated Conjecture Resolution with Formal Verification","created":"2026-04-04","cited_by_count":28,"area":"lr"},{"id":"2604.16529","title":"Scaling Test-Time Compute for Agentic Coding","created":"2026-04-16","cited_by_count":15,"area":"lr"},{"id":"2607.06447","title":"Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory","created":"2026-07-07","cited_by_count":8,"area":"lr"},{"id":"2603.03538","title":"Verify to Amplify: Improving Reasoning via Learned Chain-of-Thought Verification","created":"2026-03-03","cited_by_count":3,"area":"lr"},{"id":"2606.23595","title":"SPIRAL: Learning to Search and Aggregate","created":"2026-06-22","cited_by_count":3,"area":"lr"},{"id":"2603.28361","title":"Deep Research of Deep Research: From Transformer to Agent, From AI to AI for Science","created":"2026-03-30","cited_by_count":1,"area":"lr"},{"id":"2604.18936","title":"Fine-Tuning Small Reasoning Models for Quantum Field Theory","created":"2026-04-21","cited_by_count":1,"area":"lr"},{"id":"2605.10344","title":"TMAS: Scaling Test-Time Compute via Multi-Agent Synergy","created":"2026-05-11","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":"2607.14178","title":"ReasFlow: Assisting Reasoning-Centric Scientific Discovery in Applied Mathematics via a Knowledge-Based Multi-Agent System","created":"2026-07-15","cited_by_count":1,"area":"lr"},{"id":"2602.18918","title":"Early Evidence of Vibe-Proving with Consumer LLMs: A Case Study on Spectral Region Characterization with ChatGPT-5.2 (Thinking)","created":"2026-02-21","cited_by_count":0,"area":"lr"},{"id":"2603.16867","title":"Efficient Reasoning on the Edge","created":"2026-03-17","cited_by_count":0,"area":"lr"},{"id":"2604.26173","title":"Entropy Centroids as Intrinsic Rewards for Test-Time Scaling","created":"2026-04-28","cited_by_count":0,"area":"lr"},{"id":"2609.39578","title":"Thinking Outside the Box: Can Language Models Rely on External Guidance Selectively?","created":"2026-09-30","cited_by_count":0,"area":"lr"}],"next_cursor":null}