Ye, S.; Liu, Q.; Jiang, H.; Zhang, Z.; Yu, H.; Huang, Z. Themis: Automated Constraint-Aware Test Synthesis Framework for Code Reinforcement Learning. AAAI 2026, 40, 34432-34440.