Login / Signup
Solving Proof Block Problems Using Large Language Models.
Seth Poulsen
Sami Sarsa
James Prather
Juho Leinonen
Brett A. Becker
Arto Hellas
Paul Denny
Brent N. Reeves
Published in:
SIGCSE (1) (2024)
Keyphrases
</>
language model
language modeling
n gram
statistical language models
retrieval model
language modelling
vector space model
probabilistic model
document retrieval
information retrieval
test collection
relevance model
context sensitive
query expansion
translation model
smoothing methods
natural language processing