Key papers

• Towards a Certifying Grounder (2026)
  Daimy Van Caudenberg et al.
  4.39
• BlenderGym: Benchmarking Foundational Model Systems for Graphics Editing (2025)
  Yunqi Gu et al.
  2.87
• Inference-Time Scaling of Verification: Self-Evolving Deep Research Agents via Test-Time Rubric-Guided Verification (2026)
  Yuxuan Wan et al.
  1.94
• Stop the Flip-Flop: Context-Preserving Verification for Fast Revocable Diffusion Decoding (2026)
  Yanzheng Xiang et al.
  1.94
• PRISM: Pushing the Frontier of Deep Think via Process Reward Model-Guided Inference (2026)
  Rituraj Sharma et al.
  1.94
• FactReview: Evidence-Grounded Reviews with Literature Positioning and Execution-Based Claim Verification (2026)
  Hang Xu et al.
  1.94
• Agentic Fusion of Large Atomic and Language Models to Accelerate Superconductors Discovery (2026)
  Mingze Li et al.
  1.94
• OpenSkill: Open-World Self-Evolution for LLM Agents (2026)
  Zhiling Yan et al.
  1.94
• ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics (2026)
  Shunkai Zhang et al.
  1.94
• Beyond NL2Code: A Structured Survey of Multimodal Code Intelligence (2026)
  Xuanle Zhao et al.
  1.94
• Think Again or Think Longer? Selective Verification for Budget-Aware Reasoning (2026)
  Sajib Acharjee Dip et al.
  1.94
• The Verification Horizon: No Silver Bullet for Coding Agent Rewards (2026)
  Binghai Wang et al.
  1.94
• ARIS: Autonomous Research via Adversarial Multi-Agent Collaboration (2026)
  Ruofeng Yang et al.
  1.89
• Stop When Reasoning Converges: Semantic-Preserving Early Exit for Reasoning Models (2026)
  Dehai Min et al.
  1.89
• ClawGym: A Scalable Framework for Building Effective Claw Agents (2026)
  Fei Bai et al.
  1.83
• CUDA Agent: Large-Scale Agentic RL for High-Performance CUDA Kernel Generation (2026)
  Weinan Dai et al.
  1.72
• VerifiAgent: a Unified Verification Agent in Language Model Reasoning (2025)
  Jiuzhou Han et al.
  1.28
• SFT or RL? An Early Investigation into Training R1-Like Reasoning Large Vision-Language Models (2025)
  Hardy Chen et al.
  1.28
• X-Teaming: Multi-Turn Jailbreaks and Defenses with Adaptive Multi-Agents (2025)
  Salman Rahman et al.
  1.28
• Beyond 'Aha!': Toward Systematic Meta-Abilities Alignment in Large Reasoning Models (2025)
  Zhiyuan Hu et al.
  1.28
• EvoSyn: Generalizable Evolutionary Data Synthesis for Verifiable Learning (2025)
  He Du et al.
  1.28
• SPARK: Stepwise Process-Aware Rewards for Reference-Free Reinforcement Learning (2025)
  Salman Rahman et al.
  1.28
• DataFlow: An LLM-Driven Framework for Unified Data Preparation and Workflow Automation in the Era of Data-Centric AI (2025)
  Hao Liang et al.
  1.28
• From Word to World: Can Large Language Models be Implicit Text-based World Models? (2025)
  Yixia Li et al.
  1.28
• arXiVeri: Automatic table verification with GPT (2023)
  Gyungin Shin et al.
  —
• Self-play with Execution Feedback: Improving Instruction-following Capabilities of Large Language Models (2024)
  Guanting Dong et al.
  —
• APIGen: Automated Pipeline for Generating Verifiable and Diverse Function-Calling Datasets (2024)
  Zuxin Liu et al.
  —
• VLRewardBench: A Challenging Benchmark for Vision-Language Generative Reward Models (2024)
  Lei Li et al.
  —