Automated Theory Formation and Interestingness in Mathematics
CMSA Room G10 CMSA, 20 Garden Street, CambridgeNew Technologies in Mathematics Seminar Speaker: George Tsoukalas, UT Austin Dept. of Computer Science and Google DeepMind. Title: Automated Theory Formation and Interestingness in Mathematics Abstract: Advances in modern learning systems are […]
