Large language model (LLM) agents are rapidly improving on long-horizon scientific and olympiad tasks. Recent systems have produced a Lean-formalized resolut…
机构:NVIDIA
来源:arXiv 2610.13632 | AI4Papers 论文推荐平台