PulseAugur
EN
LIVE 19:29:21

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

By PulseAugur Editorial · [1 sources] ·

Read on Mastodon — mastodon.social →

COVERAGE [1]

  1. Mastodon — mastodon.social TIER_1 English(EN) · [email protected] ·

    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

    LINKS github.com/…/atlas-lean