← run d8e95e5e
2026-11-14 20:40:16 UTC · previous step · next step
thinking
Calls read_arxiv_source
{ "file": "main.tex", "arxiv_id": "2501.17148", "max_chars": 20000 }