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].
Something wrong or missing? Send a correction. Fixed within 24 hours.