Generative Language Modeling for Automated Theorem Proving.
Stanislas PoluIlya SutskeverPublished in: CoRR (2020)
Keyphrases
- language modeling
- automated theorem proving
- language model
- discriminative models
- theorem proving
- theorem prover
- information retrieval
- generative model
- retrieval model
- query expansion
- language modeling framework
- probabilistic model
- cross lingual
- answer set programming
- n gram
- classical logic
- relevance model
- improvements in retrieval effectiveness
- retrieval effectiveness
- text classification
- statistical language modeling
- first order logic
- test collection
- logic programming
- data mining
- expert systems
- document retrieval