#

proof-networks

Here is 1 public repository matching this topic...

simon-dedeo / ai-math-ept

Proof networks in the age of AI: extending Viteri & DeDeo (2022) to machine-generated mathematics

coq lean cognitive-science philosophy-of-mathematics ai-for-math proof-networks

Updated Aug 3, 2026
Python

Improve this page

Add a description, image, and links to the proof-networks topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proof-networks topic, visit your repo's landing page and select "manage topics."