Gauss, an Agent for Autoformalization

(math.inc)

7 points | by frozenseven 14 hours ago ago