NYTech
Companies
Companylegal ai

FormalFoundry.ai

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.[1][2]

Visit website Suggest an update
2023 Founded1 Person on the graph

Overview

FormalFoundry.ai is a New York-based artificial intelligence company [1] founded in 2023. The company develops a safety layer architecture for generative AI systems [2], employing formal methods and proof assistants to ensure the correctness and safety of AI outputs [2]. Its technical approach leverages advancements in large language models for generating formal proofs, uses dependently typed languages for proof verification, and employs heuristic techniques for iterative proof repair and refinement [2]. As of available records, the company has three employees [3] and operates in the embedded software products industry [3].

Growth & traction

LinkedIn lists 3 people working at FormalFoundry.ai. [4]

Key people

Focus

  • FormalFoundry.ai describes itself as "Merging Ai with formal methods to formalize domain knowledge for trusted automated reasoning in critical systems.".[5]

Something wrong or missing? Send an update. Fixed within 24 hours.