Automatic Textbook Formalization (github.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of github.com: Automatic Textbook Formalization

First screen, captured 6 months ago.

Looks similar

Screenshot of github.com: Foundation for Human Vision Models

Foundation for Human Vision Models (github.com)

62 points by yoknapathawa 2 years ago | 12 comments

Screenshot of github.com: DotSlash: Simplified Executable Deployment

DotSlash: Simplified Executable Deployment (github.com)

30 points by microflash 1 year ago | 16 comments

Screenshot of github.com: Pearl: A Production-Ready Reinforcement Learning Agent

Pearl: A Production-Ready Reinforcement Learning Agent (github.com)

61 points by da4id 2 years ago | 7 comments

Screenshot of github.com: VGGT: Visual Geometry Grounded Transformer

VGGT: Visual Geometry Grounded Transformer (github.com)

182 points by xnx 1 year ago | 40 comments

Screenshot of github.com: Faiss: A library for efficient similarity search

Faiss: A library for efficient similarity search (github.com)

236 points by tosh 3 years ago | 47 comments

Screenshot of github.com: LLMs can see and hear without any training

LLMs can see and hear without any training (github.com)

186 points by T-A 1 year ago | 62 comments