Automated reasoning
Theorem proving, logic programming and program synthesis in AI.
- Automated theorem proving
- Interactive theorem proving and AI
- Logic programming
- Inductive logic programming
- Program synthesis
- Neural theorem proving
- AI for formal verification
This area has no pages yet. The coverage plan lists the pages that it needs. You can write one of them. Read how to contribute.