24.
Formal Frontier: open-source AI autoformalization for mathematics (x.com)
The Mathlib Initiative is launching a project to make AI-driven autoformalization genuinely useful for researchers while keeping the work open source
@tkalil2050 on Backlist
1 appearance on the backlist front page in the last 30 days.