Cajal

San Francisco, United States

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

Apr 2026

Grant

Top Investors

Y CombinatorToloka.vc

19,000+ verified contacts

Emails, phones & LinkedIn profiles

Who are Cajal's investors?

Cajal's investors include Y Combinator, Toloka.vc.

Where is Cajal headquartered?

Cajal is headquartered in San Francisco, United States.

What does Cajal do?

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

What stage is Cajal at?

Cajal is at the Grant stage.

Cite this page

Free to use in articles, research, and reference works. Stable URL — will not change. Data on this page last updated April 14, 2026.

MLA

"Cajal — Funding & Investors." VCBacked, April 14, 2026, https://www.vcbacked.co/company/cajal. Accessed June 15, 2026.

APA

VCBacked. (2026). Cajal — Funding & Investors. Retrieved June 15, 2026, from https://www.vcbacked.co/company/cajal

Wikipedia (cite web)

{{cite web |title=Cajal — Funding & Investors |url=https://www.vcbacked.co/company/cajal |website=VCBacked |access-date=June 15, 2026}}

Profile data sourced and verified per the VCBacked methodology. Last funding round dated April 14, 2026.