Symbolica

Developing state-of-the-art foundation models for structured reasoning using deep learning, by building models that manipulate structured data and learn algebraic structure with interpretable and verifiable logic.