/ C O R R E C T I O N -- Eclipse/

Eclipse California

View original content:https://www.prnewswire.co.uk/news-releases/eclipse-research-explores-autoformalization-and-the-future-of-mathematical-discovery-inspired-by-work-from-founder-neel-somani-302705870.html