Tag
This paper introduces Certification-Driven Reinforcement Learning (CDRL), a framework that leverages symbolic reasoning to generate reusable constraints for improving reinforcement learning in combinatorial search spaces, demonstrated in neutrino flavor model discovery with higher valid model rates and efficiency.