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