%0 Conference Paper %1 conf/milcom/JhaJLBVEN23 %A Jha, Sumit Kumar %A Jha, Susmit %A Lincoln, Patrick %A Bastian, Nathaniel D. %A Velasquez, Alvaro %A Ewetz, Rickard %A Neema, Sandeep %B MILCOM %D 2023 %I IEEE %K dblp %P 944-949 %T Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. %U http://dblp.uni-trier.de/db/conf/milcom/milcom2023.html#JhaJLBVEN23 %@ 979-8-3503-2181-4

@inproceedings{conf/milcom/JhaJLBVEN23, added-at = {2024-01-25T00:00:00.000+0100}, author = {Jha, Sumit Kumar and Jha, Susmit and Lincoln, Patrick and Bastian, Nathaniel D. and Velasquez, Alvaro and Ewetz, Rickard and Neema, Sandeep}, biburl = {https://www.bibsonomy.org/bibtex/29f535c49414d7e6638f61275910bfd68/dblp}, booktitle = {MILCOM}, crossref = {conf/milcom/2023}, ee = {https://doi.org/10.1109/MILCOM58377.2023.10356332}, interhash = {cae3d6c82d19133a9a7ef70aecf45ccf}, intrahash = {9f535c49414d7e6638f61275910bfd68}, isbn = {979-8-3503-2181-4}, keywords = {dblp}, pages = {944-949}, publisher = {IEEE}, timestamp = {2024-04-10T00:57:21.000+0200}, title = {Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.}, url = {http://dblp.uni-trier.de/db/conf/milcom/milcom2023.html#JhaJLBVEN23}, year = 2023 }