Milan Gritta
milangritta
·
AI & ML interests
NLP and AI
Recent Activity
new activity
14 days ago
bytedance-research/BFS-Prover:Code/Data Release
upvoted
a
collection
27 days ago
LeanDojo
Organizations
milangritta's activity
Code/Data Release
2
#1 opened 16 days ago
by
milangritta
Are these votes really reliable indicators?
3
#3 opened 5 months ago
by
Ouz-G

Librarian Bot: Add language metadata for dataset
1
#2 opened 8 months ago
by
librarian-bot
