Home » Tags

Lean

Automatic formalization of mathematics: a path to automatic reasoning

new subject

March 20, 2022 · 4 min · Subfish

Introduction of Deep Learning for Automatic Theorem Proving

DL4ATP

March 20, 2022 · 31 min · Subfish