%0 Journal Article %1 wu2023lemur %A Wu, Haoze %A Barrett, Clark %A Narodytska, Nina %D 2023 %K GenAI %T Lemur: Integrating Large Language Models in Automated Program Verification

@article{wu2023lemur, added-at = {2024-03-15T19:52:37.000+0100}, archiveprefix = {arXiv}, author = {Wu, Haoze and Barrett, Clark and Narodytska, Nina}, biburl = {https://www.bibsonomy.org/bibtex/264c8111776b5ea60ebb0220a15156aa9/cosmozx}, description = {2310.04870.pdf}, eprint = {2310.04870}, interhash = {541eb62ba48bcafad132c9e17dd9de22}, intrahash = {64c8111776b5ea60ebb0220a15156aa9}, keywords = {GenAI}, primaryclass = {cs.FL}, timestamp = {2024-03-15T19:52:37.000+0100}, title = {Lemur: Integrating Large Language Models in Automated Program Verification}, year = 2023 }