Theorem
C
AI-powered formal verification lab making program verification 10,000x faster. Mathematical proofs for AI-generated code correctness.
Score
41.3 / 100
Evidence
5 items
Developing safety practices — core foundations in place with room for improvement.
Strengths:Technical Safety
Weaknesses:Governance Maturity, Risk Assessment, Regulatory Readiness, External Engagement
Focus Areas
formal verificationcode safetyneural theorem provingai safety
Safety Profile
Dimension Breakdown
GM
Governance Maturitymedium
Published policies, corporate structure, safety mandate, whistleblowing, executive commitment.1 evidence items
GM-01
TS
Technical Safetymedium
Benchmarks, adversarial robustness, fine-tuning safety, watermarking, model cards, research output.2 evidence items
TS-01TS-08
RA
Risk Assessmentlow
Dangerous capability evaluations, thresholds, external testing, bug bounty, halt conditions.1 evidence items
RA-01
RR
Regulatory Readinesslow
ISO 42001, EU AI Act compliance, GPAI obligations, international commitments, incident reporting.EE
External Engagementmedium
Survey participation, research support, transparency, behavior specs, open-source contributions.1 evidence items
EE-01
Need a detailed report for Theorem?
Indicator-level evidence, peer benchmarking, regulatory gap analysis, and quarterly monitoring.