JUST IN: Aristotle claims the top spot in lean-eval, the Lean AI formalization leaderboard! Aristotle is getting stronger and more capable by the day, try it out for your formalization needs.
