ai · arxiv/cs.AI · 8 min
Modular Neural Networks Learn Three-Valued Logic Without Symbolic Solvers
THEIA demonstrates that dedicated domain engines enable neural networks to master Kleene three-valued logic and generalize compositionally to sequences 100x longer than training.
Apr 17, 2026 Read →