Reyes, Omar Costilla

3 publications

NeurIPSW 2024 MathDSL: A Domain-Specific Language for Concise Mathematical Solutions via Program Synthesis Sagnik Anupam, Maddy Bowers, Omar Costilla Reyes, Armando Solar-Lezama

ICMLW 2024 Symbolic Regression with a Learned Concept Library Arya Grayeli, Atharva Sehgal, Omar Costilla Reyes, Miles Cranmer, Swarat Chaudhuri

NeurIPSW 2022 Neurosymbolic Programming for Science Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla Reyes