Article
Kimina-Prover-RL
By
and 18 others
•
•
11Ricardo
ricdomolm
AI & ML interests
LLMs
Recent Activity
updated
a model
about 1 month ago
ricdomolm/mini-coder-1.7b
updated
a model
about 1 month ago
ricdomolm/mini-coder-4b
updated
a dataset
about 1 month ago
ricdomolm/mini-coder-trajs-400k
Organizations
None yet
upvoted
an
article
3 months ago
upvoted
a
collection
3 months ago
upvoted
an
article
over 1 year ago
Article
Let's talk about LLM evaluation
By
•
•
200