Collins, Elias Rojas

2 publications

NeurIPSW 2024 Mining Math Conjectures from LLMs: A Pruning Approach Jake Chuharski, Elias Rojas Collins, Mark Meringolo

ICMLW 2023 Distributions for Compositionally Differentiating Parametric Discontinuities Jesse Michel, Kevin Mu, Xuanda Yang, Sai Praveen Bangaru, Elias Rojas Collins, Gilbert Bernstein, Jonathan Ragan-Kelley, Michael Carbin, Tzu-Mao Li