Elias Rojas Collins

According to our database, Elias Rojas Collins authored at least 3 papers in 2024.

Collaborative distances:

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

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

The complexity of separability for semilinear sets and Parikh automata.

Elias Rojas Collins, Chris Köcher, Georg Zetzsche

CoRR, 2024