home.social
Sign in Create account

#formalization — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #formalization, aggregated by home.social.

  1. Hacker News @[email protected] ·

    Automatic Textbook Formalization

    github.com/facebookresearch/re

    #HackerNews #Automatic #Textbook #Formalization #Facebook #Research #Textbooks #AI #Education #Technology

    #hackernews #automatic #textbook #formalization #facebook #research