TY  - RPRT
TI  - Aletheia tackles FirstProof autonomously
AU  - Tony Feng
AU  - Junehyuk Jung
AU  - Sang-hyun Kim
AU  - Carlo Pagano
AU  - Sergei Gukov
AU  - Chiang-Chiang Tsai
AU  - David Woodruff
AU  - Adel Javanmard
AU  - Aryan Mokhtari
AU  - Dawsen Hwang
AU  - Yuri Chervonyi
AU  - Jonathan N. Lee
AU  - Garrett Bingham
AU  - Trieu H. Trinh
AU  - Vahab Mirrokni
AU  - Quoc V. Le
AU  - Thang Luong
PY  - 2026
UR  - https://arxiv.org/abs/2602.21201
ID  - 2602.21201
ER  -