C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories.
Hassen Saïdi
Susmit Jha
Tuhin Sahai
Published in:
CoRR (2023)
Keyphrases
</>
language model
probabilistic model
n gram
language modeling
retrieval model
query expansion
document retrieval
speech recognition
database
mixture model
translation model
search engine
test collection
context sensitive
smoothing methods