Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
CDRL: Certification-Driven Reinforcement Learning for Neutrino Flavor Model Discovery
Piyush Jha, Jake Rudolph, Victoria Knapp-Pérez +3
Many scientific discovery problems require searching combinatorial hypothesis spaces under complex domain constraints. Reinforcement learning (RL) offers a promising approach, but…
cs.AI2025
O-Forge: An LLM + Computer Algebra Framework for Asymptotic Analysis
Ayush Khaitan, Vijay Ganesh
Large language models have recently demonstrated advanced capabilities in solving IMO and Putnam problems; yet their role in research mathematics has remained fairly limited. The k…