AdvancedMathBench: A Benchmark Suite for Advanced Mathematical Proof Generation and Verification Paper • 2607.11849 • Published Jul 13 • 29
Embodied-R1.5: Evolving Physical Intelligence via Embodied Foundation Models Paper • 2606.11324 • Published Jun 9 • 60
CoHyDE: Iterative Co-Training of LLM Rewriter & Dense Encoder for Tool Retrieval Paper • 2605.29271 • Published May 28 • 4