Publications by David Woodruff

Preprint

Aletheia tackles FirstProof autonomously

2026
Feng T, Jung J, Kim S-H, Pagano C, Gukov S, Tsai C-C, Woodruff D, Javanmard A, Mokhtari A, Hwang D, Chervonyi Y, Lee JN, Bingham G, Trinh TH, Mirrokni V, Le QV, Luong T