Ye, Shengyu, Qi Liu, Hao Jiang, Zheng Zhang, Heng Yu, and Zhenya Huang. 2026. “Themis: Automated Constraint-Aware Test Synthesis Framework for Code Reinforcement Learning”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (40):34432-40. https://doi.org/10.1609/aaai.v40i40.40741.