BibTeX record journals/corr/abs-2311-07948

download as .bib file

@article{DBLP:journals/corr/abs-2311-07948,
  author       = {Adharsh Kamath and
                  Aditya Senthilnathan and
                  Saikat Chakraborty and
                  Pantazis Deligiannis and
                  Shuvendu K. Lahiri and
                  Akash Lal and
                  Aseem Rastogi and
                  Subhajit Roy and
                  Rahul Sharma},
  title        = {Finding Inductive Loop Invariants using Large Language Models},
  journal      = {CoRR},
  volume       = {abs/2311.07948},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.07948},
  doi          = {10.48550/ARXIV.2311.07948},
  eprinttype    = {arXiv},
  eprint       = {2311.07948},
  timestamp    = {Tue, 21 Nov 2023 13:55:21 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-07948.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.