\ mathcalB brace -Coder: Value-Based Deep Reinforcement Learning for Program Synthesis - Yu, Zishun; Tao, Yunzhe; Chen, Liyu; SUN, TAO; Yang, Hongxia (International Conference on Learning Representations, 2024)