Challenges: - Scaling symbolic search; keeping reasoning di…

Challenges:
- Scaling symbolic search; keeping reasoning differentiable without losing fidelity
- Building/maintaining knowledge bases
- Stable joint training and error propagation from perception → logic