Proof Artifact Co-training for Theorem Proving with Language Models.
Jesse Michael HanJason RuteYuhuai WuEdward W. AyersStanislas PoluPublished in: CoRR (2021)
Keyphrases
- theorem proving
- language model
- co training
- theorem prover
- language modeling
- multi view
- semi supervised learning
- single view
- proof planning
- semi supervised
- unlabeled data
- geometry theorem proving
- automated theorem proving
- n gram
- text classification
- supervised learning
- first order logic
- speech recognition
- inference rules
- information retrieval
- query expansion
- probabilistic model
- proof procedure
- named entities
- labeled data
- proof search
- training examples
- language models for information retrieval
- natural deduction
- probability distribution
- learning algorithm
- smoothing methods
- machine learning
- surface reconstruction
- multiple views