S. Ye, Q. Liu, H. Jiang, Z. Zhang, H. Yu, and Z. Huang, “Themis: Automated Constraint-Aware Test Synthesis Framework for Code Reinforcement Learning”, AAAI, vol. 40, no. 40, pp. 34432–34440, Mar. 2026.