Randy Davila

Lecturer, Computational Applied Mathematics & Operations Research, Rice University

Joined

May 2025

Names

Randy Davila (Preferred)

Emails

****@rice.edu (Confirmed)

Personal Links

Career & Education History

Lecturer

Computational Applied Mathematics & Operations Research, Rice University (rice.edu)

2021 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

Automated Conjecturing

Present

Graph Theory

Present

Automated Reasoning

Present

Publications

\textsc{Gambit}: Generating Automated Mathematical Bounds, Inequalities, and Theorems
Randy Davila
- MATH-AI 2025 Poster
- Readers: Everyone
Inequality Ranking and Inference System ($\texttt{\textbf{IRIS}}$): Giving Mathematical Conjectures Numerical Value
Jillian Eddy, Randy Davila, Jesus De Loera, Junwei Lu, Ethan X Fang, Zini Yang
- AI4Math@ICML25 Poster
- Readers: Everyone

Co-Authors