Introducing Gauss, an agent for autoformalization

skybrian
2025-10-03T02:14:31Z

Link URL: https://www.math.inc/gauss

Comments URL: https://tildes.net/~science/1qid/introducing_gauss_an_agent_for_autoformalization

Votes: 7

Comments: 1