Repovive

We work with AI labs to help train their models for formal verification. We have $100k in contracts across two math formalization RL environments and a $200k LOI for our broader coding data. Our team includes IOI and ICPC medalists, PhDs, and ex-Google engineers. We’ve published papers at leading AI conferences, including NeurIPS, ICLR, and IJCAI. We’ve formed the densest community cluster of 12,000 IMO, IOI, and ICPC medalists.