Omar Costilla Reyes

Researcher, Massachusetts Institute of Technology

Joined

November 2021

Names

Omar Costilla Reyes (Preferred)

Emails

****@mit.edu (Confirmed)

Personal Links

Career & Education History

Researcher

Massachusetts Institute of Technology (mit.edu)

Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis
Sagnik Anupam, Maddy Bowers, Omar Costilla Reyes, Armando Solar-Lezama
- MATH-AI 24
- Readers: Everyone
LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions
Zhening Li, Gabriel Poesia, Omar Costilla Reyes, Noah Goodman, Armando Solar-Lezama
- NeurIPS'22 MATH-AI Workshop
- Readers: Everyone
Symbolic Regression with a Learned Concept Library
Arya Grayeli, Atharva Sehgal, Omar Costilla Reyes, Miles Cranmer, Swarat Chaudhuri
- ICML2024-AI4Science Poster
- Readers: Everyone
Symbolic Regression with a Learned Concept Library
Arya Grayeli, Atharva Sehgal, Omar Costilla Reyes, Miles Cranmer, Swarat Chaudhuri
- NeurIPS 2024 poster
- Readers: Everyone
Neurosymbolic Programming for Science
Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla Reyes
- Published: 21 Oct 2022, Last Modified: 05 May 2023
- AI4Science Poster
- Readers: Everyone

Co-Authors