We are developing a safety layer architecture for generative AI systems, employing formal methods and proof assistants to ensure the correctness and safety of AI outputs. We are leveraging advancements in large language models for generating formal proofs, using dependently typed languages for proof verification, and employing heuristic techniques for iterative proof repair and refinement.
Company Details
- Employees
- 2
- Founded
- -
- Address
- 218 Nw 24th Ave,
- Industry
- Embedded Software Products
- NAICS
-
Software Publishers
- Website
- https://www.formalfoundry.ai
- Keywords
- cybersecurity, software security, generative AI, research and development, data science, artificial intelligence.
- HQ
- Miami, Florida
Formalfoundry.ai Questions
Formalfoundry.Ai's website is https://www.formalfoundry.ai
Formalfoundry.Ai's LinkedIn profile is https://www.linkedin.com/company/formalfoundry
Formalfoundry.Ai has
2 employees.
View email and phone details for 2
employees at Formalfoundry.Ai.
Formalfoundry.Ai's industry is
Embedded Software Products
Formalfoundry.Ai's top competitors are
Alfavox,
Yellow Diuna Academy,
Explainvisually.co,
Z500,
Web3 Talks: Stories & Tips From The Builders,
Hipro,
Quantoo,
Gaspers.ai,
Human Intelligence On Demand,
Kmt Consulting Engineers.
Formalfoundry.Ai's categories are Embedded Software Products
Formalfoundry.Ai's founding year is 2023
