ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.
Stefan MitschBohua ZhanHuanhuan ShengAlexander BentkampXiangyu JinShuling WangSimon FosterChristian Pardillo LaursenJonathan Julián Huerta y MunivePublished in: ARCH@SAFECOMP (2022)
Keyphrases
- theorem proving
- hybrid systems
- black box
- first order logic
- intelligent systems
- theorem prover
- neural network
- inference rules
- soft computing
- meta learning
- discrete event
- proof planning
- artificial intelligence
- parallel search
- consequence finding
- computational intelligence
- geometry theorem proving
- knowledge representation
- training data
- decision trees