AnalysisAI ModelsScience
2 hours ago
LLMs autoformalize 26 textbooks into 480k lines of Lean code
Tom Dörr
@tom_doerrFollow for posts about GitHub repos, DSPy, and agents Subscribe for top posts DM to share your AI project (Due to volume of DMs I'll prioritize subscribers)
tom-doerr.github.io/repo_posts
Tom Doerr
@tom_doerr
LLMs autoformalize 26 textbooks into 480k lines of Lean code https://t.co/UE6dCSZmvL https://t.co/cHUBjzcMW3
·
2 hours ago