The Isabelle/Naproche Natural Language Proof Assistant.
Adrian De LonPeter KoepkeAnton LorenzenAdrian MartiMarcel SchützMakarius WenzelPublished in: CADE (2021)
Keyphrases
- theorem prover
- natural language
- natural deduction
- mathematical proofs
- text generation
- theorem proving
- automated theorem proving
- inference rules
- natural language processing
- test bed
- first order logic
- semantic analysis
- natural language interface
- machine learning
- knowledge representation
- cut elimination
- proof search
- natural language understanding
- linear logic
- language processing
- case study
- sequent calculus
- question answering
- semantic interpretation
- semantic representation
- syntactic structures
- dialogue system
- neural network
- proof planning
- website
- data sets
- video sequences
- expert systems
- databases