ARCH-COMP21 Category Report: Hybrid Systems Theorem Proving.
Stefan MitschXiangyu JinBohua ZhanShuling WangNaijun ZhanPublished in: ARCH@ADHS (2021)
Keyphrases
- theorem proving
- hybrid systems
- black box
- intelligent systems
- first order logic
- neural network
- meta learning
- soft computing
- parallel search
- computational intelligence
- discrete event
- artificial intelligence
- theorem prover
- inference rules
- consequence finding
- proof planning
- geometry theorem proving
- dynamic systems
- heuristic search
- data mining
- genetic programming
- training data