Automated Theory Formation and Interestingness in Mathematics
New 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 […]