Technical

A Promising Path Towards Autoformalization and General Artificial Intelligence

The paper proposes autoformalization—automatically converting informal natural language mathematics into formal, machine-verifiable statements—as a promising approach to achieving AI with human-level general reasoning and significant impacts on mathematics, programming, and AI systems.

leanprover.zulipchat.com

There’s no such thing as auto-formalization

cutfree.net

GitHub - leanprover-community/ProofWidgets4: Helper toolkit for creating your own Lean 4 UserWidgets

github.com
Cover of GitHub - leanprover-community/ProofWidgets4: Helper toolkit for creating your own Lean 4 UserWidgets

OpenReview: Venues

openreview.net
Thumbnail of OpenReview: Venues

GitHub - wvhulle/riddle-proofs: Riddles solved in Lean4 for educational purposes

wvhullegithub.com
Thumbnail of GitHub - wvhulle/riddle-proofs: Riddles solved in Lean4 for educational purposes

An Extensible User Interface for Lean 4

drops.dagstuhl.de
Cover of An Extensible User Interface for Lean 4

Automatically Generalizing Theorems Using Typeclasses

easychair.org
Thumbnail of Automatically Generalizing Theorems Using Typeclasses

Just a moment...

dl.acm.org
Thumbnail of Just a moment...

Ideas related to this collection