6 3 20

Ricardo

ricdomolm

AI & ML interests

LLMs

Recent Activity

updated a collection 27 days ago

Computational Arbitrage

updated a dataset 27 days ago

ricdomolm/numinamath-LEAN-trajs-850k

published a dataset 27 days ago

ricdomolm/numinamath-LEAN-trajs-850k

View all activity

Organizations

liked a Space about 2 months ago

Leaderboard

🥇

Explore LM-Harmony LLM rankings after fine‑tune evaluation

liked 2 models 8 months ago

AI-MO/Kimina-Prover-RL-1.7B

2B • Updated Aug 14, 2025 • 1.78k • 12

AI-MO/Kimina-Prover-Distill-1.7B

Text Generation • 2B • Updated Jul 10, 2025 • 2.92k • • 7

liked a dataset 8 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 958 • 57

liked a dataset 9 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4, 2025 • 244 • 1.12k • 9

liked 5 datasets 10 months ago

liked 5 datasets about 1 year ago

nvidia/OpenMathInstruct-2

Viewer • Updated Nov 25, 2024 • 22M • 22.5k • 237

SynthLabsAI/Big-Math-RL-Verified

Viewer • Updated Mar 25, 2025 • 251k • 4.84k • 226

ricdomolm/caselawqa-8k

Viewer • Updated Mar 7, 2025 • 22k • 4 • 3

bethgelab/CuratedThoughts

Viewer • Updated Feb 26, 2025 • 222k • 795 • 44

cat-searcher/minif2f-lean4

Viewer • Updated Mar 19, 2024 • 488 • 666 • 7

liked a dataset over 1 year ago

acruz/folktexts

Viewer • Updated Nov 28, 2024 • 8.13M • 179 • 5

liked 2 models over 1 year ago

ricdomolm/lawma-8b

Text Generation • Updated Feb 25, 2025 • 1.01k • • 15

ricdomolm/lawma-70b

Text Generation • 71B • Updated Aug 8, 2024 • 40 • 5

liked a Space over 1 year ago

CaselawQA leaderboard (WIP)

🏛

Browse and submit evaluations for CaselawQA benchmarks

liked a Space almost 2 years ago

Open LLM Leaderboard

🏆

14k

Track, rank and evaluate open LLMs and chatbots