{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T12:00:47Z","timestamp":1791460847196,"version":"4.3.4"},"publisher-location":"New York, NY, USA","reference-count":64,"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.3805262","type":"proceedings-article","created":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:27:39Z","timestamp":1784298459000},"page":"914-925","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Fun2spec: Code Contract Synthesis At Scale"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9088-887X","authenticated-orcid":false,"given":"Shubham","family":"Ugare","sequence":"first","affiliation":[{"name":"Bloomberg, New York City, New York, USA"},{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1426-7633","authenticated-orcid":false,"given":"Tarun","family":"Suresh","sequence":"additional","affiliation":[{"name":"Bloomberg, New York City, New York, USA"},{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7319-8845","authenticated-orcid":false,"given":"Sasa","family":"Misailovic","sequence":"additional","affiliation":[{"name":"University of Illinois Urbana-Champaign, Urbana, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-7927-3205","authenticated-orcid":false,"given":"Julien","family":"Vanegue","sequence":"additional","affiliation":[{"name":"Bloomberg \/ Imperial College London, New York City, New York, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Marah Abdin Jyoti Aneja Hany Awadalla Ahmed Awadallah Ammar Ahmad Awan Nguyen Bach Amit Bahree Arash Bakhtiari Jianmin Bao Harkirat Behl Alon Benhaim Misha Bilenko Johan Bjorck S\u00e9bastien Bubeck Martin Cai Qin Cai Vishrav Chaudhary Dong Chen Dongdong Chen Weizhu Chen Yen-Chun Chen Yi-Ling Chen Hao Cheng Parul Chopra Xiyang Dai Matthew Dixon Ronen Eldan Victor Fragoso Jianfeng Gao Mei Gao Min Gao Amit Garg Allie Del Giorno Abhishek Goswami Suriya Gunasekar Emman Haider Junheng Hao Russell J. Hewett Wenxiang Hu Jamie Huynh Dan Iter Sam Ade Jacobs Mojan Javaheripi Xin Jin Nikos Karampatziakis Piero Kauffmann Mahoud Khademi Dongwoo Kim Young Jin Kim Lev Kurilenko James R. Lee Yin Tat Lee Yuanzhi Li Yunsheng Li Chen Liang Lars Liden Xihui Lin Zeqi Lin Ce Liu Liyuan Liu Mengchen Liu Weishung Liu Xiaodong Liu Chong Luo Piyush Madan Ali Mahmoudzadeh David Majercak Matt Mazzola Caio C\u00e9sar Teodoro Mendes Arindam Mitra Hardik Modi Anh Nguyen Brandon Norick Barun Patra Daniel Perez-Becker Thomas Portet Reid Pryzant Heyang Qin Marko Radmilac Liliang Ren Gustavo de Rosa Corby Rosset Sambudha Roy Olatunji Ruwase Olli Saarikivi Amin Saied Adil Salim Michael Santacroce Shital Shah Ning Shang Hiteshi Sharma Yelong Shen Swadheen Shukla Xia Song Masahiro Tanaka Andrea Tupini Praneetha Vaddamanu Chunyu Wang Guanhua Wang Lijuan Wang Shuohang Wang Xin Wang Yu Wang Rachel Ward Wen Wen Philipp Witte Haiping Wu Xiaoxia Wu Michael Wyatt Bin Xiao Can Xu Jiahang Xu Weijian Xu Jilong Xue Sonali Yadav Fan Yang Jianwei Yang Yifan Yang Ziyi Yang Donghan Yu Lu Yuan Chenruidong Zhang Cyril Zhang Jianwen Zhang Li Lyna Zhang Yi Zhang Yue Zhang Yunan Zhang and Xiren Zhou. 2024. Phi-3 Technical Report: A Highly Capable Language Model Locally on Your Phone. arXiv:2404.14219 [cs.CL] https:\/\/arxiv.org\/abs\/2404.14219"},{"key":"e_1_3_2_1_2_1","unstructured":"Mostafijur Rahman Akhond Saikat Chakraborty and Gias Uddin. 2025. LLM For Loop Invariant Generation and Fixing: How Far Are We? arXiv:2511.06552 [cs.SE] https:\/\/arxiv.org\/abs\/2511.06552"},{"key":"e_1_3_2_1_3_1","volume-title":"Claude Code: Command Line Tool for Agentic Coding. https:\/\/docs.claude.com\/en\/docs\/claude-code","year":"2024","unstructured":"Anthropic. 2024. Claude Code: Command Line Tool for Agentic Coding. https:\/\/docs.claude.com\/en\/docs\/claude-code"},{"key":"e_1_3_2_1_4_1","unstructured":"Patrick Baudin Jean-Christophe Filli\u00e2tre Claude March\u00e9 Benjamin Monate Yannick Moy and Virgile Prevosto. [n. d.]. ACSL: ANSI\/ISO C Specification Language. http:\/\/frama-c.com\/download\/acsl.pdf"},{"key":"e_1_3_2_1_5_1","unstructured":"BDE. [n. d.]. https:\/\/github.com\/bloomberg\/bde."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-57256-2_15"},{"key":"e_1_3_2_1_7_1","unstructured":"BlazingMQ. [n. d.]. BlazingMQ - A Modern High-Performance Message Queue."},{"key":"e_1_3_2_1_8_1","unstructured":"Tom B. Brown Benjamin Mann Nick Ryder Melanie Subbiah Jared Kaplan Prafulla Dhariwal Arvind Neelakantan Pranav Shyam Girish Sastry Amanda Askell Sandhini Agarwal Ariel Herbert-Voss Gretchen Krueger Tom Henighan Rewon Child Aditya Ramesh Daniel M. Ziegler Jeffrey Wu Clemens Winter Christopher Hesse Mark Chen Eric Sigler Mateusz Litwin Scott Gray Benjamin Chess Jack Clark Christopher Berner Sam McCandlish Alec Radford Ilya Sutskever and Dario Amodei. 2020. Language Models are Few-Shot Learners. arXiv:2005.14165 [cs.CL]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889163"},{"key":"e_1_3_2_1_10_1","unstructured":"Madhurima Chakraborty Peter Pirkelbauer and Qing Yi. 2025. Formal-SpecCpp: A Dataset of C++ Formal Specifications created using LLMs. arXiv:2502.15217 [cs.SE] https:\/\/arxiv.org\/abs\/2502.15217"},{"key":"e_1_3_2_1_11_1","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde de Oliveira Pinto Jared Kaplan Harri Edwards Yuri Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Petroski Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss William Hebgen Guss Alex Nichol Alex Paino Nikolas Tezak Jie Tang Igor Babuschkin Suchir Balaji Shantanu Jain William Saunders Christopher Hesse Andrew N. Carr Jan Leike Josh Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. arXiv:2107.03374 [cs.LG] https:\/\/arxiv.org\/abs\/2107.03374"},{"key":"e_1_3_2_1_12_1","volume-title":"Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K Lahiri, Tao Xie, and Lidong Zhou.","author":"Chen Tianyu","year":"2024","unstructured":"Tianyu Chen, Shuai Lu, Shan Lu, Yeyun Gong, Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Hao Yu, Nan Duan, Peng Cheng, Fan Yang, Shuvendu K Lahiri, Tao Xie, and Lidong Zhou. 2024. Automated Proof Generation for Rust Code via Self-Evolution. arXiv:2410.15756 [cs.SE] https:\/\/arxiv.org\/abs\/2410.15756"},{"key":"e_1_3_2_1_13_1","unstructured":"Clang. [n. d.]. clang: a C language family frontend for LLVM."},{"key":"e_1_3_2_1_14_1","unstructured":"Lo\u00efc Correnson Pascal Cuoq Florent Kirchner Andr\u00e9 Maroneze Virgile Prevosto Armand Puccetti Julien Signoles and Boris Yakobowski. [n. d.]. Frama-C User Manual. http:\/\/frama-c.com\/download\/frama-c-user-manual.pdf"},{"key":"e_1_3_2_1_15_1","unstructured":"Xun Deng Sicheng Zhong Bar\u0131\u00df Bayaz\u0131t Andreas Veneris Fan Long and Xujie Si. 2025. VerifyThisBench: Generating Code Specifications and Proofs All at Once. arXiv:2505.19271 [cs.SE] https:\/\/arxiv.org\/abs\/2505.19271"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509511"},{"key":"e_1_3_2_1_17_1","unstructured":"Elizabeth Dinella Shuvendu Lahiri and Mayur Naik. 2024. Program Structure Aware Precondition Generation. arXiv:2310.02154 [cs.SE] https:\/\/arxiv.org\/abs\/2310.02154"},{"key":"e_1_3_2_1_18_1","unstructured":"Timur Doumler and Andrzej Krzemie\u0144ski. 2025. Contracts for C++. ISO\/IEC JTC1\/SC22\/WG21. https:\/\/www.open-std.org\/jtc1\/sc22\/wg21\/docs\/papers\/2025\/p2900r13.pdf"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/362007.362035"},{"key":"e_1_3_2_1_20_1","volume-title":"Lahiri","author":"Endres Madeline","year":"2024","unstructured":"Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, and Shuvendu K. Lahiri. 2024. Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? arXiv:2310.01831 [cs.SE] https:\/\/arxiv.org\/abs\/2310.01831"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Madeline Endres Sarah Fakhoury Saikat Chakraborty and Shuvendu K Lahiri. 2024. Can large language models transform natural language intent into formal method postconditions? 1889\u20131912 pages.","DOI":"10.1145\/3660791"},{"key":"e_1_3_2_1_22_1","volume-title":"Dynamically Discovering Likely Program Invariants. Ph","author":"Ernst Michael D.","unstructured":"Michael D. Ernst. 2000. Dynamically Discovering Likely Program Invariants. Ph.D. University of Washington Department of Computer Science and Engineering, Seattle, Washington."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Michael D Ernst Jeff H Perkins Philip J Guo Stephen McCamant Carlos Pacheco Matthew S Tschantz and Chen Xiao. 2007. The Daikon system for dynamic detection of likely invariants. 35\u201345 pages.","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_24_1","volume-title":"Baldur: Whole-Proof Generation and Repair with Large Language Models. arXiv:2303.04910 [cs.LG] https:\/\/arxiv.org\/abs\/2303.04910","author":"First Emily","year":"2023","unstructured":"Emily First, Markus N. Rabe, Talia Ringer, and Yuriy Brun. 2023. Baldur: Whole-Proof Generation and Repair with Large Language Models. arXiv:2303.04910 [cs.LG] https:\/\/arxiv.org\/abs\/2303.04910"},{"key":"e_1_3_2_1_25_1","volume-title":"ICE: A Robust Framework for Learning Invariants","author":"Garg Pranav","year":"2014","unstructured":"Pranav Garg, Christof L\u00f6ding, P. Madhusudan, and Daniel Neider. 2014. ICE: A Robust Framework for Learning Invariants. In Computer Aided Verification, Armin Biere and Roderick Bloem (Eds.). Springer International Publishing, Cham, 69\u201387."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1994.296781"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21690-4_20"},{"key":"e_1_3_2_1_28_1","unstructured":"Fusen He Juan Zhai and Minxue Pan. 2024. Beyond Code Generation: Assessing Code LLM Maturity with Postconditions. arXiv:2407.14118 [cs.SE] https:\/\/arxiv.org\/abs\/2407.14118"},{"key":"e_1_3_2_1_29_1","unstructured":"Fusen He Juan Zhai and Minxue Pan. 2024. Beyond Code Generation: Assessing Code LLM Maturity with Postconditions. arXiv:2407.14118 [cs.SE] https:\/\/arxiv.org\/abs\/2407.14118"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Charles Antony Richard Hoare. 1969. An axiomatic basis for computer programming. 576\u2013580 pages.","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_31_1","unstructured":"Carlos E. Jimenez John Yang Alexander Wettig Shunyu Yao Kexin Pei Ofir Press and Karthik Narasimhan. 2024. SWE-bench: Can Language Models Resolve Real-World GitHub Issues? arXiv:2310.06770 [cs.CL] https:\/\/arxiv.org\/abs\/2310.06770"},{"key":"e_1_3_2_1_32_1","unstructured":"Adharsh Kamath Aditya Senthilnathan Saikat Chakraborty Pantazis Deligiannis Shuvendu K. Lahiri Akash Lal Aseem Rastogi Subhajit Roy and Rahul Sharma. 2023. Finding Inductive Loop Invariants using Large Language Models. arXiv:2311.07948 [cs.PL] https:\/\/arxiv.org\/abs\/2311.07948"},{"key":"e_1_3_2_1_33_1","volume-title":"CBMC: The C Bounded Model Checker. arXiv:2302.02384 [cs.SE] https:\/\/arxiv.org\/abs\/2302.02384","author":"Kroening Daniel","year":"2023","unstructured":"Daniel Kroening, Peter Schrammel, and Michael Tautschnig. 2023. CBMC: The C Bounded Model Checker. arXiv:2302.02384 [cs.SE] https:\/\/arxiv.org\/abs\/2302.02384"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.95"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","unstructured":"Shuvendu K. Lahiri. 2024. Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages. 10.34727\/2024\/ISBN.978-3-85448-065-5_19","DOI":"10.34727\/2024\/ISBN.978-3-85448-065-5_19"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","unstructured":"Shuvendu K Lahiri and Julien Vanegue. 2011. ExplainHoudini: making Houdini inference transparent. 309\u2013323 pages.","DOI":"10.1007\/978-3-642-18275-4_22"},{"key":"e_1_3_2_1_37_1","unstructured":"Shangyu Li Juyong Jiang Tiancheng Zhao and Jiasi Shen. 2025. OSVBench: Benchmarking LLMs on Specification Generation Tasks for Operating System Verification. arXiv:2504.20964 [cs.SE] https:\/\/arxiv.org\/abs\/2504.20964"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"crossref","unstructured":"Chang Liu Xiwei Wu Yuan Feng Qinxiang Cao and Junchi Yan. 2024. Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation. arXiv:2311.10483 [cs.PL] https:\/\/arxiv.org\/abs\/2311.10483","DOI":"10.52202\/079017-4101"},{"key":"e_1_3_2_1_39_1","unstructured":"Ruibang Liu Guoqiang Li Minyu Chen Ling-I Wu and Jingyu Ke. 2024. Enhancing Automated Loop Invariant Generation for Complex Programs with Large Language Models. arXiv:2412.10483 [cs.SE] https:\/\/arxiv.org\/abs\/2412.10483"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2025.241357"},{"key":"e_1_3_2_1_41_1","unstructured":"Llama. 2024. The Llama 3 Herd of Models. arXiv:2407.21783 [cs.AI] https:\/\/arxiv.org\/abs\/2407.21783"},{"key":"e_1_3_2_1_42_1","unstructured":"Lezhi Ma Shangqing Liu Yi Li Xiaofei Xie and Lei Bu. 2024. SpecGen: Automated Generation of Formal Program Specifications via Large Language Models. arXiv:2401.08807 [cs.SE] https:\/\/arxiv.org\/abs\/2401.08807"},{"key":"e_1_3_2_1_43_1","unstructured":"Thomas Mesnard Cassidy Hardin Robert Dadashi Surya Bhupatiraju Shreya Pathak Laurent Sifre Morgane Rivi\u00e8re Mihir Sanjay Kale Juliette Love Pouya Tafti L\u00e9onard Hussenot Pier Giuseppe Sessa Aakanksha Chowdhery Adam Roberts Aditya Barua Alex Botev Alex Castro-Ros Ambrose Slone Am\u00e9lie H\u00e9liou Andrea Tacchetti Anna Bulanova Antonia Paterson Beth Tsai Bobak Shahriari Charline Le Lan Christopher A. Choquette-Choo Cl\u00e9ment Crepy Daniel Cer Daphne Ippolito David Reid Elena Buchatskaya Eric Ni Eric Noland Geng Yan George Tucker George-Christian Muraru Grigory Rozhdestvenskiy Henryk Michalewski Ian Tenney Ivan Grishchenko Jacob Austin James Keeling Jane Labanowski Jean-Baptiste Lespiau Jeff Stanway Jenny Brennan Jeremy Chen Johan Ferret Justin Chiu Justin Mao-Jones Katherine Lee Kathy Yu Katie Millican Lars Lowe Sjoesund Lisa Lee Lucas Dixon Machel Reid Maciej Miku\u0142a Mateo Wirth Michael Sharman Nikolai Chinaev Nithum Thain Olivier Bachem Oscar Chang Oscar Wahltinez Paige Bailey Paul Michel Petko Yotov Rahma Chaabouni Ramona Comanescu Reena Jana Rohan Anil Ross McIlroy Ruibo Liu Ryan Mullins Samuel L Smith Sebastian Borgeaud Sertan Girgin Sholto Douglas Shree Pandya Siamak Shakeri Soham De Ted Klimenko Tom Hennigan Vlad Feinberg Wojciech Stokowiec Yu hui Chen Zafarali Ahmed Zhitao Gong Tris Warkentin Ludovic Peran Minh Giang Cl\u00e9ment Farabet Oriol Vinyals Jeff Dean Koray Kavukcuoglu Demis Hassabis Zoubin Ghahramani Douglas Eck Joelle Barral Fernando Pereira Eli Collins Armand Joulin Noah Fiedel Evan Senter Alek Andreev and Kathleen Kenealy. 2024. Gemma: Open Models Based on Gemini Research and Technology. arXiv:2403.08295 [cs.CL] https:\/\/arxiv.org\/abs\/2403.08295"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587054"},{"key":"e_1_3_2_1_45_1","unstructured":"Marcelo Orenes-Vera Margaret Martonosi and David Wentzlaff. 2023. Using LLMs to Facilitate Formal Verification of RTL. arXiv:2309.09437 [cs.AR] https:\/\/arxiv.org\/abs\/2309.09437"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337319"},{"key":"e_1_3_2_1_47_1","volume-title":"Proceedings of the 40th International Conference on Machine Learning (Proceedings of Machine Learning Research","volume":"27520","author":"Pei Kexin","year":"2023","unstructured":"Kexin Pei, David Bieber, Kensen Shi, Charles Sutton, and Pengcheng Yin. 2023. Can Large Language Models Reason about Program Invariants?. In Proceedings of the 40th International Conference on Machine Learning (Proceedings of Machine Learning Research, Vol. 202), Andreas Krause, Emma Brunskill, Kyunghyun Cho, Barbara Engelhardt, Sivan Sabato, and Jonathan Scarlett (Eds.). PMLR, 27496\u201327520. https:\/\/proceedings.mlr.press\/v202\/pei23a.html"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695512"},{"key":"e_1_3_2_1_49_1","unstructured":"Qwen. 2024. Qwen2.5: A Party of Foundation Models. https:\/\/qwenlm.github.io\/blog\/qwen2.5\/"},{"key":"e_1_3_2_1_50_1","unstructured":"Haifeng Ruan Yuntong Zhang and Abhik Roychoudhury. 2024. SpecRover: Code Intent Extraction via LLMs. arXiv:2408.02232 [cs.SE] https:\/\/arxiv.org\/abs\/2408.02232"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_9"},{"key":"e_1_3_2_1_52_1","volume-title":"Lahiri","author":"Sun Chuyue","year":"2025","unstructured":"Chuyue Sun, Viraj Agashe, Saikat Chakraborty, Jubi Taneja, Clark Barrett, David Dill, Xiaokang Qiu, and Shuvendu K. Lahiri. 2025. ClassInvGen: Class Invariant Synthesis using Large Language Models. arXiv:2502.18917 [cs.PL] https:\/\/arxiv.org\/abs\/2502.18917"},{"key":"e_1_3_2_1_53_1","unstructured":"Tree-sitter. [n. d.]. An incremental parsing system for programming tools."},{"key":"e_1_3_2_1_54_1","unstructured":"Shubham Ugare Tarun Suresh Hangoo Kang Sasa Misailovic and Gagandeep Singh. 2024. SynCode: LLM Generation with Grammar Augmentation. arXiv:2403.01632 [cs.LG]"},{"key":"e_1_3_2_1_55_1","volume-title":"The Thirteenth International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=OJd3ayDDoF","author":"Wang Xingyao","year":"2025","unstructured":"Xingyao Wang, Boxuan Li, Yufan Song, Frank F. Xu, Xiangru Tang, Mingchen Zhuge, Jiayi Pan, Yueqi Song, Bowen Li, Jaskirat Singh, Hoang H. Tran, Fuqiang Li, Ren Ma, Mingzhang Zheng, Bill Qian, Yanjun Shao, Niklas Muennighoff, Yizhe Zhang, Binyuan Hui, Junyang Lin, Robert Brennan, Hao Peng, Heng Ji, and Graham Neubig. 2025. OpenHands: An Open Platform for AI Software Developers as Generalist Agents. In The Thirteenth International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=OJd3ayDDoF"},{"key":"e_1_3_2_1_56_1","volume-title":"Chi, Quoc Le, and Denny Zhou","author":"Wei Jason","year":"2023","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Brian Ichter, Fei Xia, Ed Chi, Quoc Le, and Denny Zhou. 2023. Chain-of-Thought Prompting Elicits Reasoning in Large Language Models. arXiv:2201.11903 [cs.CL] https:\/\/arxiv.org\/abs\/2201.11903"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"Cheng Wen Jialun Cao Jie Su Zhiwu Xu Shengchao Qin Mengda He Haokun Li Shing-Chi Cheung and Cong Tian. 2024. Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification. arXiv:2404.00762 [cs.SE] https:\/\/arxiv.org\/abs\/2404.00762","DOI":"10.1007\/978-3-031-65630-9_16"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.emnlp-demos.6"},{"key":"e_1_3_2_1_59_1","volume-title":"Lemur: Integrating Large Language Models in Automated Program Verification. In The Twelfth International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=Q3YaCghZNt","author":"Wu Haoze","year":"2024","unstructured":"Haoze Wu, Clark Barrett, and Nina Narodytska. 2024. Lemur: Integrating Large Language Models in Automated Program Verification. In The Twelfth International Conference on Learning Representations. https:\/\/openreview.net\/forum?id=Q3YaCghZNt"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520312.3534862"},{"key":"e_1_3_2_1_61_1","volume-title":"Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, and Shan Lu.","author":"Yang Chenyuan","year":"2025","unstructured":"Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, and Shan Lu. 2025. AutoVerus: Automated Proof Generation for Rust Code. arXiv:2409.13082 [cs.SE] https:\/\/arxiv.org\/abs\/2409.13082"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3598047"},{"key":"e_1_3_2_1_63_1","volume-title":"Junyi Jessy Li, and Milos Gligoric","author":"Zhang Jiyang","year":"2024","unstructured":"Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, and Milos Gligoric. 2024. exLong: Generating Exceptional Behavior Tests with Large Language Models. arXiv:2405.14619 [cs.SE] https:\/\/arxiv.org\/abs\/2405.14619"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/3580305.3599790"}],"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.3805262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T14:37:47Z","timestamp":1784299067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803437.3805262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":64,"alternative-id":["10.1145\/3803437.3805262","10.1145\/3803437"],"URL":"https:\/\/doi.org\/10.1145\/3803437.3805262","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"}}]}}