Modular pre-processing for automated reasoning in dependent type theory.
Valentin BlotDenis CousineauEnzo CranceLouise Dubois de PrisqueChantal KellerAssia MahboubiPierre VialPublished in: CoRR (2022)
Keyphrases
- automated reasoning
- preprocessing
- reasoning systems
- theorem proving
- proof theory
- decision procedures
- theorem prover
- knowledge representation
- probabilistic reasoning
- automated verification
- reasoning tasks
- knowledge representation and reasoning
- feature extraction
- multilayer perceptron
- post processing
- general purpose
- expert systems
- natural language