Laurel: Generating Dafny Assertions Using Large Language Models.
Eric MugnierEmmanuel Anaya GonzalezRanjit JhalaNadia PolikarpovaYuanyuan ZhouPublished in: CoRR (2024)
Keyphrases
- language model
- language modeling
- n gram
- document retrieval
- information retrieval
- probabilistic model
- retrieval model
- statistical language models
- language modelling
- test collection
- context sensitive
- speech recognition
- language models for information retrieval
- ad hoc information retrieval
- query expansion
- smoothing methods
- vector space model
- query terms
- term dependencies
- cross lingual
- document ranking
- document length
- word error rate
- error rate
- pseudo relevance feedback
- active learning
- knowledge base
- web pages
- machine learning