Symbolica
formerly Symbolica AISymbolica was founded in 2022, is headquartered in San Francisco, United States, lists 11–50 employees, and has $31.0M in recorded funding across 1 round.
- Headquarters
- San Francisco, California
- Employees
- 11–50
- Founded
- 2022
- Business Model
- B2B
- Website
- symbolica.ai
- Total Funding
- $31.0M
- Last Round
- $31.0M Series AApr 2024
- Rounds
- 1
Totals include recorded grants and other qualifying funding, not just equity. What counts toward funding.
Indexed holds 1 funding round and 5 investors for this company. The full record is or through the API.
About
Symbolica focuses its artificial intelligence research on program synthesis and theorem proving as paths toward generalized reasoning. It aims to build a general-purpose program-synthesis engine capable of handling different kinds of combinatorial optimization problems and producing general solutions. The company says general-purpose program synthesis remains one of artificial intelligence's most difficult open research problems, and it is building pieces of a solution incrementally through research and engineering.
Summary
Symbolica is an Artificial Intelligence company based in San Francisco, United States, founded in 2022. It lists 11–50 employees. It has raised $31.0M in total across 1 round, most recently a $31.0M Series A round in Apr 2024. Investors include Khosla Ventures, General Catalyst and Day One Ventures.
Tech & App Stack
5 technologies & apps tracked
Every product and vendor across these categories, with where each signal came from.
Create a free account with 25 free credits every month, no card needed, to unlock the full tech & app stack, funding history, and valuations.
Funding History
Apr 2024
Investors
Similar Companies
Mistral co-creates tailored AI systems for enterprises and governments, combining frontier models...
Chinese AI company developing GLM large language models and multimodal agent APIs for enterprises...
AI software engineering company building Devin, an autonomous AI coding agent capable of planning...
Cursor is the best way to code with AI, and built to make you extraordinarily productive.
Appears in
Your company? Embed this profile
Add the live badge to your site — it stays current as your funding data updates.
<a href="https://indexed.vc/companies/symbolica"><img src="https://indexed.vc/api/badge/company/symbolica" alt="Symbolica on Indexed.vc" width="260" height="76" /></a>