Sponsor AI Guiderails
Please join us on our journey to shape the future of Ai safety. See for yourself how your company can use the techniques, tools and knowledge from this program for a safer Ai-driven future. Whether you join as a Safety Sponsor, an R&D Participant, or an Industry Partner, your contribution to this program will help drive AI safety forward now.
Become an
Ai Safety Sponsor
Sponsor Safety Help startups gain entry to our program. Your contribution will fund participants and industry partners. Follow our progress live and gain the early insights and information you need to make investment and client decisions about formal methods for AI safety and controls.
From $250/year
- Newsletters: Stay up-to-date. Gain insights. Track R&D safety program progress and breakthroughs.
- First-hand Access: Get early access to our research, methodologies, curated research libraries, and other documentation.
- Interactive Demos: Interactive Demos: Be among the first to experience cutting-edge proof assistant technology demonstrations revealing the power of formal methods in AI.
- Choose: Silver, Gold, or Platinum Sponsorships & Make a Real Difference. Gold and Platinum levels support industry participant and partner levels.
Become an
R&D Participant
Be proactive: Help make AI safer for everyone. Join as an R&D Participant. Be deeply engaged with our tools and code. Experiment with our APIs and data as we demonstrate guide-rail construction, tuning configurations for test cases, test models and cases in live virtual group sessions.
From $2,500/year
- Access to Tools and Codebases: Experiment with our developing technologies using our comprehensive tools, codebase, and documentation.
- Bi-Weekly Interactions: Join our bi-weekly Q&A and webinar sessions to clarify questions, enhance understanding, and gain insights directly from our team.
- R&D Direction Input: Influence our R&D direction with your valuable insights during designated sessions.
- API Access:Deploy our tools seamlessly via API, simplifying the process of conducting your own experiments with our technology.
Join us as an
Industry Partner
SAFETY IS CRITICAL
Join our universal guiderail development effort. Bring your applications and your team’s insights and knowledge to the table as we customize tools for your systems. Let us show you and your team how active safety protocols using formal methods could work directly for your business. Help make AI safer for critical-use cases in major verticals.
- Direct Application of Research: See your AI systems benefit directly from the program. Your specific domain will become a focal point of our R&D.
- Quarterly Demonstrations: Our quarterly demonstrations will feature application of our technology for your AI system's safety.
- Steering Committee Influence: As an Industry Partner participant, you'll have voting rights in our project advisory steering committee, allowing you to influence our R&D direction.
- Dedicated Support: Benefit from a dedicated contact person within our team for continuous support and engagement.
- On-site Engagement: Get hands-on assistance, training, and workshops conducted by our team at your site.
- Assistance with Toolchain Setup: Assistance with Toolchain Setup: Rely on our team's expertise to help set up our toolchain on your infrastructure, ensuring seamless integration and maximum utility of our R&D program and tools.