ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving.
Stefan MitschHuanhuan ShengBohua ZhanShuling WangSimon FosterJonathan Julián Huerta y MunivePublished in: ARCH (2023)
Keyphrases
- theorem proving
- hybrid systems
- first order logic
- meta learning
- black box
- soft computing
- intelligent systems
- discrete event
- neural network
- proof planning
- parallel search
- artificial intelligence
- computational intelligence
- inference rules
- theorem prover
- consequence finding
- geometry theorem proving
- inductive learning
- logic programs
- control system
- evolutionary algorithm