Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving-Reference-Cited by-同舟云学术

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving

Published:2023-10-30 Issue: Volume: Page:
ISSN:
Container-title:MILCOM 2023 - 2023 IEEE Military Communications Conference (MILCOM)
language:
Short-container-title:

Author:

Jha Sumit Kumar¹,Jha Susmit²,Lincoln Patrick²,Bastian Nathaniel D.³,Velasquez Alvaro⁴,Ewetz Rickard⁵,Neema Sandeep⁶

Affiliation:

1. Florida International University,Computer Science Department

2. Computer Science Laboratory SRI International

3. United States Military Academy,Army Cyber Institute

4. University of Colorado,Department of Computer Science,Boulder

5. University of Central Florida,Electrical and Computer Engineering

6. Vanderbilt University,Electrical and Computer Engineering

Funder

National Science Foundation

U.S. Army

Publisher

IEEE

Link

Reference28 articles.

1. Evaluating large language models trained on code;Chen,2021

2. Llm-planner: Few-shot grounded planning for embodied agents with large language models;Song,2022

5. Language models as zero-shot planners: Extracting actionable knowledge for embodied agents;Huang

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. LLM-Enabled Cyber-Physical Systems: Survey, Research Opportunities, and Challenges;2024 IEEE International Workshop on Foundation Models for Cyber-Physical Systems & Internet of Things (FMSys);2024-05-13