Leveraging Large Language Models to Boost Dafny's Developers Productivity.
Álvaro F. SilvaAlexandra MendesJoão F. FerreiraPublished in: FormaliSE@ICSE (2024)
Keyphrases
- language model
- software development
- language modeling
- probabilistic model
- n gram
- document retrieval
- information retrieval
- language modelling
- speech recognition
- retrieval model
- query expansion
- test collection
- statistical language models
- context sensitive
- query terms
- vector space model
- smoothing methods
- cross lingual
- pseudo relevance feedback
- translation model
- document ranking
- error rate
- document length
- co occurrence
- language models for information retrieval
- language modeling approaches
- language model for information retrieval