Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sumit Kumar Jha 0001, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema. Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. In IEEE Military Communications Conference, MILCOM 2023, Boston, MA, USA, October 30 - Nov. 3, 2023. pages 944-949, IEEE, 2023. [doi]

This author has not been identified. Look up 'Sumit Kumar Jha 0001' in GoogleThis author has not been identified. Look up 'Susmit Jha' in GoogleThis author has not been identified. Look up 'Patrick Lincoln' in GoogleThis author has not been identified. Look up 'Nathaniel D. Bastian' in GoogleThis author has not been identified. Look up 'Alvaro Velasquez' in GoogleThis author has not been identified. Look up 'Rickard Ewetz' in GoogleThis author has not been identified. Look up 'Sandeep Neema' in Google

runs on WebDSL