Choi, Yee Man

1 publications

ICLR 2026 HARDTESTGEN: A High-Quality RL Verifier Generation Pipeline for LLM Algorithmic Coding Zhongmou He, Yee Man Choi, Kexun Zhang, Ivan Bercovich, Jiabao Ji, Junting Zhou, Dejia Xu, Aidan Zhang, Yixiao Zeng, Lei Li