COMPANY PROFILE · UPDATED 18 JUN 2026

Cajal

Cajal offers datasets, frameworks, and RL environments to train and assess AI models in formal verification and mathematical reasoning.

caj.al ↗

This profile is unclaimed — do you work here? Claim it

Claim it →
Founded
2025
Headcount
1–10
Open roles
0
Last raised
Pre Seed · Sign in to view
Cajal website
OPEN ROLES

Hiring at Cajal

No open roles listed right now. Check back soon or search all jobs →

FUNDING

Capital raised

Sign up to see capital raised
TAGS

Categorized in

Industry

AI & Machine LearningData Labeling & EvaluationFoundation Models & LLMs

Investors

Y Combinator
LOCATIONS

Where they work

Cajal Headquarters Location

San Francisco, CA, 94115

Loading map…