{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:06:44Z","timestamp":1784300804614,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,5]]},"DOI":"10.1145\/3803437.3804436","type":"proceedings-article","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:27:39Z","timestamp":1784298459000},"page":"73-75","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Learning to Refine Specifications for Code Generation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-1466-8374","authenticated-orcid":false,"given":"Jay","family":"Patel","sequence":"first","affiliation":[{"name":"York University, Toronto, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Weak-to-Strong Generalization: Eliciting Strong Capabilities With Weak Supervision,\" in Proceedings of the Twelfth International Conference on Learning Representations (ICLR)","author":"Burns C.","year":"2024","unstructured":"C. Burns et al., \"Weak-to-Strong Generalization: Eliciting Strong Capabilities With Weak Supervision,\" in Proceedings of the Twelfth International Conference on Learning Representations (ICLR), 2024."},{"key":"e_1_3_2_1_2_1","first-page":"26874","article-title":"RLAIF vs. RLHF: Scaling Reinforcement Learning from Human Feedback with AI Feedback,\" in Proceedings of the 41st International Conference on Machine Learning (ICML)","volume":"235","author":"Lee H.","year":"2024","unstructured":"H. Lee et al., \"RLAIF vs. RLHF: Scaling Reinforcement Learning from Human Feedback with AI Feedback,\" in Proceedings of the 41st International Conference on Machine Learning (ICML), PMLR 235:26874\u201326901, 2024.","journal-title":"PMLR"},{"key":"e_1_3_2_1_3_1","volume-title":"LiveCodeBench: Holistic and Contamination-Free Evaluation of Large Language Models for Code,\" in Proceedings of the Twelfth International Conference on Learning Representations (ICLR)","author":"Jain N.","year":"2024","unstructured":"N. Jain et al., \"LiveCodeBench: Holistic and Contamination-Free Evaluation of Large Language Models for Code,\" in Proceedings of the Twelfth International Conference on Learning Representations (ICLR), 2024."},{"key":"e_1_3_2_1_4_1","volume-title":"Large Language Models Cannot Self-Correct Reasoning Yet,\" in Proceedings of the Twelfth International Conference on Learning Representations (ICLR)","author":"Huang J.","year":"2024","unstructured":"J. Huang, X. Chen, S. Mishra, H. S. Zheng, A. W. Yu, X. Song, and D. Zhou, \"Large Language Models Cannot Self-Correct Reasoning Yet,\" in Proceedings of the Twelfth International Conference on Learning Representations (ICLR), 2024."},{"key":"e_1_3_2_1_5_1","volume-title":"Self-Refine: Iterative Refinement with Self-Feedback,\" arXiv preprint arXiv:2303.17651","author":"Madaan A.","year":"2023","unstructured":"A. Madaan, N. Tandon, P. Gupta, S. Hallinan, L. Gao, S. Wiegreffe, U. Alon, N. Dziri, S. Prabhumoye, Y. Yang, S. Gupta, B. P. Majumder, K. Hermann, S. Welleck, A. Yazdanbakhsh, and P. Clark, \"Self-Refine: Iterative Refinement with Self-Feedback,\" arXiv preprint arXiv:2303.17651, 2023."},{"key":"e_1_3_2_1_6_1","volume-title":"Learning to Generate Unit Test via Adversarial Reinforcement Learning,\" in Proceedings of the Fourteenth International Conference on Learning Representations (ICLR)","author":"Lee D.","year":"2026","unstructured":"D. Lee, C. Hwang, and K. Lee, \"Learning to Generate Unit Test via Adversarial Reinforcement Learning,\" in Proceedings of the Fourteenth International Conference on Learning Representations (ICLR), 2026."},{"key":"e_1_3_2_1_7_1","volume-title":"An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation,\" in Proceedings of the 46th International Conference on Software Engineering (ICSE)","author":"Sch\u00e4fer M.","year":"2024","unstructured":"M. Sch\u00e4fer, S. Nadi, A. Eghbali, and F. Tip, \"An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation,\" in Proceedings of the 46th International Conference on Software Engineering (ICSE), 2024."},{"key":"e_1_3_2_1_8_1","volume-title":"Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation,\" in Advances in Neural Information Processing Systems (NeurIPS)","author":"Liu J.","year":"2023","unstructured":"J. Liu, C. S. Xia, Y. Wang, and L. Zhang, \"Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation,\" in Advances in Neural Information Processing Systems (NeurIPS), 2023."},{"key":"e_1_3_2_1_9_1","first-page":"9495","volume-title":"Instruct","author":"Kargupta P.","year":"2024","unstructured":"P. Kargupta, A. Ghosh, S. Das, and D. Majumder, \"Instruct, Not Assist: LLM-based Multi-Turn Planning and Hierarchical Questioning for Socratic Code Debugging,\" in Findings of the Association for Computational Linguistics: EMNLP 2024, pp. 9475\u20139495, 2024."},{"key":"e_1_3_2_1_10_1","volume-title":"Eureka: Human-Level Reward Design via Coding Large Language Models,\" in Proceedings of the Twelfth International Conference on Learning Representations (ICLR)","author":"Ma Y. J.","year":"2024","unstructured":"Y. J. Ma et al., \"Eureka: Human-Level Reward Design via Coding Large Language Models,\" in Proceedings of the Twelfth International Conference on Learning Representations (ICLR), 2024."},{"key":"e_1_3_2_1_11_1","volume-title":"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models,\" in Proceedings of the First Conference on Language Modeling (COLM)","author":"Shao Z.","year":"2024","unstructured":"Z. Shao et al., \"DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models,\" in Proceedings of the First Conference on Language Modeling (COLM), 2024."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Twelfth International Conference on Learning Representations (ICLR)","author":"Lightman H.","year":"2024","unstructured":"H. Lightman et al., \"Let's Verify Step by Step,\" in Proceedings of the Twelfth International Conference on Learning Representations (ICLR), 2024."},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the Thirteenth International Conference on Learning Representations (ICLR)","author":"Kumar A.","year":"2025","unstructured":"A. Kumar et al., \"Training Language Models to Self-Correct via Reinforcement Learning (SCoRe),\" in Proceedings of the Thirteenth International Conference on Learning Representations (ICLR), 2025."},{"key":"e_1_3_2_1_14_1","volume-title":"TTRL: Test-Time Reinforcement Learning,\" in Advances in Neural Information Processing Systems (NeurIPS)","author":"Zhou Z.","year":"2025","unstructured":"Z. Zhou et al., \"TTRL: Test-Time Reinforcement Learning,\" in Advances in Neural Information Processing Systems (NeurIPS), 2025."}],"event":{"name":"FSE Companion '26: 34th ACM International Conference on the Foundations of Software Engineering","location":"Concordia University Montreal QC Canada","acronym":"FSE Companion '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 34th ACM International Conference on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3803437.3804436","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:34:18Z","timestamp":1784298858000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803437.3804436"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":14,"alternative-id":["10.1145\/3803437.3804436","10.1145\/3803437"],"URL":"https:\/\/doi.org\/10.1145\/3803437.3804436","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}