Finding Inductive Loop Invariants using Large Language Models.
Adharsh KamathAditya SenthilnathanSaikat ChakrabortyPantazis DeligiannisShuvendu K. LahiriAkash LalAseem RastogiSubhajit RoyRahul SharmaPublished in: CoRR (2023)
Keyphrases
- language model
- language modeling
- probabilistic model
- n gram
- document retrieval
- speech recognition
- query expansion
- language modelling
- information retrieval
- retrieval model
- test collection
- context sensitive
- statistical language models
- vector space model
- document ranking
- machine learning
- language models for information retrieval
- relevance model
- smoothing methods
- pseudo relevance feedback
- query specific
- term dependencies
- document length