Recent Finacing
Recent Raise
Symbolica AI develops symbolic, structured AI models and a toolkit for pre-training task-specific models (code generation, theorem proving), and sells bespoke models, code-synthesis solutions, and consulting to enterprises.