TrainCheck uses training invariants to find the root cause of hard-to-detect errors before they cause downstream problems, ...

For the first time, large language models performed on a par with gold medallists in the International Mathematical Olympiad.