research
∙
06/12/2023
Mathematical conjecture generation using machine intelligence
Conjectures have historically played an important role in the developmen...
research
∙
05/02/2022
An improvement to a result about graph isomorphism networks using the prime factorization theorem
The unique prime factorization theorem is used to show the existence of ...
research
∙
08/25/2020