CulturalRiddles: A Multicultural Benchmark of Riddles Paper • 2610.29968 • Published 19 days ago • 34
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation Paper • 2606.12594 • Published Jun 10 • 19