about
Stories from August 6, 2026 (UTC)
Go back a day, month, or year. Go forward a day.
1. Beyond the Library: An Agentic Framework for Autoformalizing Research Math (arxiv.org)
3 points by matt_d 58 days ago | hide | past | pdf | discuss
2. ARC-AGI-3: A New Challenge for Frontier Agentic Intelligence (arxiv.org)
2 points by Anon84 58 days ago | hide | past | pdf | discuss
3. Token-Budget-Aware LLM Reasoning (arxiv.org)
1 point by ankitg12 59 days ago | hide | past | pdf | discuss
4. Evading Chain-of-Thought Monitoring Through Model Poisoning (arxiv.org)
1 point by sbulaev 59 days ago | hide | past | pdf | discuss
5. AOHP: OS-Level Agent Harness for Personalized, Efficient and Secure Interaction (arxiv.org)
1 point by zhaoshanhui 59 days ago | hide | past | pdf | discuss