Automatic Textbook Formalization(github.com)
27 points by tzury | 8 comments
27 points by tzury | 8 comments
182 points by xnx | 40 comments
674 points by xenova | 122 comments
GitHub repository from Meta's facebookresearch with inference code, model checkpoints, and example notebooks for Segment Anything Model 2 (SAM 2).