2 citations · 2 across the 15 of their papers we have counts for
Showing cs.AIShow all
3 papers · 1 filter
cs.AI2025
Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4
Yuxin Li, Minghao Liu, Ruida Wang +6
We present **Lean4PHYS**, a comprehensive reasoning framework for college-level physics problems in Lean4. **Lean4PHYS** includes *LeanPhysBench*, a college-level benchmark for for…
cs.AI2025
UltraHorizon: Benchmarking Agent Capabilities in Ultra Long-Horizon Scenarios
Haotian Luo, Huaisong Zhang, Xuelin Zhang +15
Autonomous agents have recently achieved remarkable progress across diverse domains, yet most evaluations focus on short-horizon, fully observable tasks. In contrast, many critical…
cs.AI2025
Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability
Ruida Wang, Yuxin Li, Yi R. Fung +1
Enhancing the mathematical reasoning capabilities of LLMs has garnered significant attention in both the mathematical and computer science communities. Recent works have made subst…