falcon{}, a counterexample-grounded verification framework that separates attack exploration from behavioral verification and connects them through execution traces of the program under test, is introduced, suggesting that execution-grounded feedback can mitigate reward overoptimization while preserving useful guidance...
Tue Le, A. N. Hoang, Gabriel Sasseville et al.· 0 citations
Reinforcement learning from verifiable rewards (RLVR) usually optimizes answer correctness, yet useful language-model behavior also requires high-quality reasoning and concise responses. Existing multi-reward post-training methods typically scalarize rewards or combine specialists without explicitly protecting a reward...
Doseok Jang, Jon Ander Campos, You-Ran Qi· 0 citations
Building2Building (B2B), a large-scale suite of realistic HVAC control environments built on EnergyPlus, a state-of-the-art building simulator, is introduced, defining benchmark tasks targeting key open challenges in RL, including goal adaptation, dynamics adaptation, action-space shifts, and cross-domain transfer.
Vincent Taboga, Justine Veilleux, Doseok Jang et al.· arXiv.org· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.