Midas builds formal mathematical verification infrastructure that provides provable correctness for AI outputs, data and reasoning.
Part of: New York startup hiring map by Fundable