Mathematical discoveries from program search with large language models.
Bernardino Romera-ParedesMohammadamin BarekatainAlexander NovikovMatej BalogM. Pawan KumarEmilien DupontFrancisco J. R. RuizJordan S. EllenbergPengming WangOmar FawziPushmeet KohliAlhussein FawziPublished in: Nat. (2024)
Keyphrases
- language model
- language modeling
- document retrieval
- n gram
- information retrieval
- retrieval model
- word clouds
- query specific
- speech recognition
- probabilistic model
- context sensitive
- query expansion
- language modelling
- document ranking
- statistical language models
- smoothing methods
- document level
- language models for information retrieval
- vector space model
- query terms
- test collection
- document length
- ad hoc information retrieval
- language model for information retrieval
- translation model
- relevance model
- user queries