Keyphrases
- pac learning
- black box
- proof theory
- asynchronous circuits
- natural deduction
- linear logic
- verification method
- model checking
- proof theoretic
- proof search
- logical rules
- bounded model checking
- sequent calculi
- automated theorem proving
- linear time temporal logic
- classical logic
- theorem prover
- model checker
- uniform distribution
- theorem proving
- formal proof
- formal verification
- learning theory
- modal logic
- proof procedure
- epistemic logic
- automated reasoning
- sample complexity
- higher order logic
- logical framework
- formal methods
- inference rules
- temporal logic
- semi supervised
- sample size