Many scientific discovery problems require searching combinatorial hypothesis spaces under complex domain constraints. Reinforcement learning (RL) offers a promising approach, but existing methods rely on scalar rewards that provide limited information about why candidate solutions fail, leading agents to repeatedly ex...
Piyush Jha, Jake Rudolph, V. Knapp-Pérez et al.· 3 citations
The search for physics Beyond the Standard Model (BSM) is generally limited not by the supply of theory descriptions but by the lack of discriminating experimental observations. A case in point is dark matter, where the overwhelming gravitational evidence only goes so far in distinguishing between models within a vast...
Ibrahim Elsharkawy, V. Knapp-Pérez, W. Bhimji et al.· 0 citations
CDES is introduced, which extends evolutionary search with enforceable restrictions derived from failed candidates, recorded as certificates of assumptions, checker evidence, and justified restrictions, to CPU-to-GPU translation of two particle-simulation functions from the Geant4 toolkit.
Piyush Jha, A. Ghosh, Vijay Ganesh· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.