Towards Large Language Model Aided Program Refinement

Towards Large Language Model Aided Program Refinement

26 June 2024

Zhe Hou

David Miguel Sanan Baena

Jin Song Dong

Papers citing "Towards Large Language Model Aided Program Refinement"

5 / 5 papers shown

Title
Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification Sarah Veronica 27 0 0 27 Mar 2025
Automated Reasoning in Blockchain: Foundations, Applications, and Frontiers Hojer Key LRM 22 0 0 26 Mar 2025
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation Jiawei Liu Chun Xia Yuyao Wang Lingming Zhang ELM ALM 178 780 0 02 May 2023
Formal Mathematics Statement Curriculum Learning Stanislas Polu Jesse Michael Han Kunhao Zheng Mantas Baksys Igor Babuschkin Ilya Sutskever AIMat 73 115 0 03 Feb 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 315 8,261 0 28 Jan 2022