ARCH-COMP20 Category Report: Hybrid Systems Theorem Proving.
Stefan MitschJonathan Julián Huerta y MuniveXiangyu JinBohua ZhanShuling WangNaijun ZhanPublished in: ARCH (2020)
Keyphrases
- theorem proving
- hybrid systems
- black box
- intelligent systems
- first order logic
- neural network
- theorem prover
- soft computing
- meta learning
- computational intelligence
- parallel search
- inference rules
- discrete event
- consequence finding
- artificial intelligence
- proof planning
- geometry theorem proving
- genetic programming
- expert systems
- inductive learning
- machine learning algorithms
- feature selection