Badge
#18 of 2292 in Artificial Intelligence (All Time)
Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
arXiv
Paper details·Week 20, 2026 leaderboard·All Time leaderboard

Share your achievement

Are you one of the authors? Share this badge on social media.

Download image

Congratulate the authors

Know the authors? Send them a congratulation.