Marabu

AI Safety Fact vs. Fiction | YC Paper Club

Y Combinator

A software framework developed in collaboration with Clark Barrett's lab for verifying neural networks.