Elias Rojas Collins

According to our database, Elias Rojas Collins authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

The Complexity of Separability for Semilinear Sets and Parikh Automata.

Elias Rojas Collins, Chris Köcher, Georg Zetzsche

Proceedings of the 50th International Symposium on Mathematical Foundations of Computer Science, 2025

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

Mining Math Conjectures from LLMs: A Pruning Approach.

Jake Chuharski, Elias Rojas Collins, Mark Meringolo

CoRR, 2024

Automatic Local Inverse Calculation for Change of Variables.

Elias Rojas Collins

Proceedings of the Companion Proceedings of the 2024 ACM SIGPLAN International Conference on Systems, 2024