ATLAS: Autoformalized Textbook Library At Scale # HackerNews # Tech # AI

报道来源 [1]

1. Mastodon — mastodon.social TIER_1 English(EN) · [email protected] · 2026-05-28 16:40

   ATLAS: Autoformalized Textbook Library At Scale https://github.com/facebookresearch/atlas-lean # HackerNews # Tech # AI

   ATLAS: Autoformalized Textbook Library At Scale https://github.com/facebookresearch/atlas-lean # HackerNews # Tech # AI

   链接 github.com/…/atlas-lean