2025 CS POrTAL: Plan-Orchestrated Tree Assembly for Lookahead Evan Conway, David Porfirio, David Chan, Mark Roberts, and Laura M. Hiatt Dec 2025 PDF Math Decomposing a factorial into large factors Boris Alexeev, Evan Conway, Matthieu Rosenfeld, Andrew V. Sutherland, Terence Tao, Markus Uhr, and Kevin Ventullo Jun 2025 PDF