Login / Signup
Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.
Valentin Blot
Denis Cousineau
Enzo Crance
Louise Dubois de Prisque
Chantal Keller
Assia Mahboubi
Pierre Vial
Published in:
CPP (2023)
Keyphrases
</>
automated reasoning
preprocessing
reasoning systems
theorem proving
knowledge representation
proof theory
probabilistic reasoning
decision procedures
automated verification
theorem prover
reasoning tasks
post processing
propositional satisfiability
expert systems
general purpose
data mining
neural network