Automatic Local Inverse Calculation for Change of Variables. - Elias Rojas Collins (SPLASH Companion, 2024)

Mining Math Conjectures from LLMs: A Pruning Approach. - Jake Chuharski; Elias Rojas Collins; Mark Meringolo (CoRR, 2024)

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 (Proc. ACM Program. Lang., 2024)

The Complexity of Separability for Semilinear Sets and Parikh Automata. - Elias Rojas Collins; Chris Köcher; Georg Zetzsche (MFCS, 2025)