Skip Navigation
Log In
Sign Up
Settings
Guest
Accounts
Initials
DiceBear
https://github.com/dicebear/dicebear
https://creativecommons.org/publicdomain/zero/1.0/
„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)
AI
Machine Learning and AI Apps | Tools
@lemmy.intai.tech
manitcor
@lemmy.intai.tech
1y ago
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
https://leandojo.org/
3
0
0
0
comments
Hot
Top
New
Old
Controversial
