ML News
new
|
past
|
best
|
rss
|
submit
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
About
|
RSS
|
RSS (all)
|
HN arXiv