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