Announcement_8
Our paper Rózsa: Certified Equational Reasoning is now available on arXiv! We placed 6th overall on the GPT-OSS-120B leaderboard and 8th on the Gemma-4-31B-IT leaderboard in Stage 2 of the SAIR Mathematics Distillation Challenge (Equational Theories).