Combining Neural and Symbolic
Neuro-symbolic approaches.
Logic and Learning
Neural theorem proving. Logic embedding.
Programs
Neural programs. Program synthesis.
Explainability
Symbolic explanations. Concept bottleneck.
Key Takeaways
- Combine neural and symbolic
- Program synthesis
- Explainable AI