Readings shared June 27, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/28-readings_shared_06-27-25 #AI #AI4Math #Autoformalization #CategoryTheory #CompSci #ITP #LLMs #LeanProver #Math #Mizar

Position: Formal mathematical reasoning (a new frontier in AI). ~ Kaiyu Yang et als. https://openreview.net/pdf?id=HuvAM5x2xG #AI #LLMs #Math #AI4Math #ITP

AI for Mathematics paper list. https://github.com/fzyzcjy/ai_math_paper_list #AI #Math #AI4Math