A Promising Path Towards Autoformalization and General Artificial Intelligence

research.google

saved by: 0 people
related read on: What mathematicians should know about the Lean Theorem Pr... from the discussion