Research Grants & Partnerships
Non-dilutive funding and research collaboration for engine, AI, and security
C.A.T. has published research papers, Lean 4 formal proofs, and benchmark datasets suitable for non-dilutive grants and partnerships. Targets include Epic MegaGrants, NSF SBIR/STTR, DARPA/IARPA, UK Games Fund, Canada Media Fund, and Nvidia/AMD/Intel compute grants.
Pricing
$50k-$1M+ non-dilutive
grant
Market comparison
Epic MegaGrants offer up to $250k with 6-12 month decisions. NSF SBIR/STTR Phase I awards are $300k-$320k. Game engine and AI research grants typically range $50k-$500k.
Features
- 14 published research papers
- Lean 4 formal proofs
- Benchmark telemetry datasets
- Interactive lab tools and frontiers
- Security and RL research artifacts
- Joint experiment and dataset access
Fact Check
docs/papers/ contains 14 LaTeX-typeset research papers. tools/lean/ contains machine-checked proofs. docs/bench/ and docs/lab/ provide datasets and interactive tools. REVENUE_AND_FUNDING_STRATEGY.md lists grant targets and timelines.