Leveraging Large Language Models for Automated Proof Synthesis in Rust.
Jianan YaoZiqiao ZhouWeiteng ChenWeidong CuiPublished in: CoRR (2023)
Keyphrases
- language model
- language modeling
- context sensitive
- n gram
- document retrieval
- probabilistic model
- speech recognition
- query expansion
- information retrieval
- test collection
- retrieval model
- language modelling
- language models for information retrieval
- statistical language models
- language model for information retrieval
- smoothing methods
- translation model
- vector space model
- query terms
- relevance model
- pseudo relevance feedback
- document length
- automatic speech recognition
- information extraction
- ad hoc information retrieval
- retrieval effectiveness