Elias Rojas Collins

Joined

June 2023

Names

Elias Rojas Collins (Preferred)

Emails

****@mit.edu (Confirmed)

Personal Links

Career & Education History

MS student

Massachusetts Institute of Technology (mit.edu)

2024 – 2025

Undergrad student

Massachusetts Institute of Technology (mit.edu)

2020 – 2024

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Mining Math Conjectures from LLMs: A Pruning Approach
Jake Chuharski, Elias Rojas Collins, Mark Meringolo
- MATH-AI 24
- Readers: Everyone
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
- Differentiable Almost Everything
- Readers: Everyone

Co-Authors