Tag
Today, we are releasing Le Chaton L∃∀N, aka Leanstral 1.5, which achieves SOTA performance on graduate algebra benchmarks FATE-H and FATE-X and improves the Pareto Frontier on PutnamBench, solving 587/672 problems with a x10 cheaper budget.