Proofwatch

MaRDI QIDQ40368swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-319-94821-8_16

Described by source

• ProofWatch: watchlist guidance for large theories in E

Cited in

(3)

• Faster, higher, stronger: E 2.3
• Fast and slow enigmas and parental guidance
• ENIGMA-NG: efficient neural and gradient-boosted inference guidance for \(\mathrm{E}\)

This page was built for software: Proofwatch