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... Read more
This company has no teams yet
This company has no offices yet