What Can Large Language Models Do for Theorem Proving and Formal Methods?
Moa JohanssonPublished in: AISoLA (2023)
Keyphrases
- theorem proving
- formal methods
- language model
- language modeling
- document retrieval
- first order logic
- query expansion
- probabilistic model
- theorem prover
- information retrieval
- retrieval model
- n gram
- model checking
- knowledge based systems
- language modelling
- inference rules
- parallel search
- term rewriting
- artificial intelligence
- proof procedure
- software engineering
- formal specification
- test collection
- speech recognition
- proof planning
- geometry theorem proving
- smoothing methods
- statistical language models
- development lifecycle
- document ranking
- consequence finding
- pseudo relevance feedback
- retrieval effectiveness
- relevance model