Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
ATLAS: Autoformalized Textbook Library At Scale | Heykuki News
ATLAS: Autoformalized Textbook Library At Scale
github.com/facebookresearch
32 points
vrm
9 days ago
https://twitter.com/arnal_charles/status/2060009395107377282
,
https://xcancel.com/arnal_charles/status/2060009395107377282
Paper:
Formalizing Mathematics at Scale
-
https://arxiv.org/abs/2605.29955
Add Comment
4 comments
Loading...