Gauss, an Agent for Autoformalization

1 comments

• bmitc a day ago

  It really bothers me that modern tech companies keep co-opting the names of famous intellectuals for their products.