Leveraging Large Language Models to Boost Dafny's Developers Productivity.
Álvaro SilvaAlexandra MendesJoão F. FerreiraPublished in: CoRR (2024)
Keyphrases
- language model
- software development
- language modeling
- document retrieval
- n gram
- probabilistic model
- query expansion
- retrieval model
- language modelling
- information retrieval
- test collection
- speech recognition
- translation model
- pseudo relevance feedback
- context sensitive
- statistical language models
- okapi bm
- ad hoc information retrieval
- document ranking
- smoothing methods
- vector space model
- query terms
- document length
- language modeling framework
- statistical language modeling