May 19, 2025The team’s NeuralSAT advanced the frontiers of trustworthy artificial intelligence, earning second place in a highly competitive field of international teams advancing the formal verification of AI systems.
The team’s NeuralSAT advanced the frontiers of trustworthy artificial intelligence, earning second place in a highly competitive field of international teams advancing the formal verification of AI systems.