{"total":16,"rows":[{"id":"2506.09965","title":"Reinforcing Spatial Reasoning in Vision-Language Models with Interwoven Thinking and Visual Drawing","created":"2025-06-11","cited_by_count":136,"area":"lr"},{"id":"2502.19411","title":"Code to Think, Think to Code: A Survey on Code-Enhanced Reasoning and Reasoning-Driven Code Intelligence in LLMs","created":"2025-02-26","cited_by_count":47,"area":"lr"},{"id":"2505.20258","title":"ARM: Adaptive Reasoning Model","created":"2025-05-26","cited_by_count":39,"area":"lr"},{"id":"2504.14597","title":"a1: Steep Test-time Scaling Law via Environment Augmented Generation","created":"2025-04-20","cited_by_count":13,"area":"lr"},{"id":"2507.03254","title":"CodeAgents: A Token-Efficient Framework for Codified Multi-Agent Reasoning in LLMs","created":"2025-07-04","cited_by_count":9,"area":"lr"},{"id":"2505.18071","title":"Extended Inductive Reasoning for Personalized Preference Inference from Behavioral Signals","created":"2025-05-23","cited_by_count":5,"area":"lr"},{"id":"2509.26546","title":"Towards Verified Code Reasoning by LLMs","created":"2025-09-30","cited_by_count":4,"area":"lr"},{"id":"2510.13170","title":"Putting on the Thinking Hats: A Survey on Chain of Thought Fine-tuning from the Perspective of Human Reasoning Mechanism","created":"2025-10-15","cited_by_count":4,"area":"lr"},{"id":"2506.00845","title":"Generalizable LLM Learning of Graph Synthetic Data with Post-training Alignment","created":"2025-06-01","cited_by_count":3,"area":"lr"},{"id":"2504.20426","title":"RV-Syn: Rational and Verifiable Mathematical Reasoning Data Synthesis based on Structured Function Library","created":"2025-04-29","cited_by_count":1,"area":"lr"},{"id":"2508.04072","title":"KG-Augmented Executable CoT for Mathematical Coding","created":"2025-08-06","cited_by_count":1,"area":"lr"},{"id":"2511.08043","title":"DynaAct: Large Language Model Reasoning with Dynamic Action Spaces","created":"2025-11-11","cited_by_count":1,"area":"lr"},{"id":"2602.18095","title":"Neurosymbolic Language Reasoning as Satisfiability Modulo Theory","created":"2026-02-20","cited_by_count":0,"area":"lr"},{"id":"2603.18334","title":"Can LLMs Reason Like Automated Theorem Provers for Rust Verification? VCoT-Bench: Evaluating via Verification Chain of Thought","created":"2026-03-18","cited_by_count":0,"area":"lr"},{"id":"2605.08658","title":"Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching","created":"2026-05-09","cited_by_count":0,"area":"lr"},{"id":"2610.04098","title":"Representation-Aligned Auxiliary Supervision for Language Model Adaptation","created":"2026-10-02","cited_by_count":0,"area":"lr"}],"next_cursor":null}