@misc{indiciae60b97b1e6ffd, title = {CDRL: Certification-Driven Reinforcement Learning for Neutrino Flavor Model Discovery}, author = {Jha, Piyush [Georgia Tech., Atlanta; Georgia Tech] and Rudolph, Jake [UC, Irvine] (ORCID:0000000181711434) and Knapp-Pérez, Victoria [UC, Irvine; Delaware U., Bartol Inst.] (ORCID:0000000200236131) and Fieg, Max [Fermilab] (ORCID:0000000270276921) and Ghosh, Aishik [Georgia Tech; LBL, Berkeley] and Ganesh, Vijay [Georgia Tech., Atlanta]}, year = {2026}, url = {https://www.osti.gov/biblio/3683961}, note = {Source identifier: 3683961} }