Ricardo Olmedo

ricdomolm's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a model about 1 month ago

open-athena/snowball-intermediate

67B • Updated Sep 3 • 23 • 1

liked a dataset 5 months ago

AlienKevin/SWE-ZERO-12M-trajectories

Viewer • Updated May 14 • 12.3M • 3.06k • 130

liked a Space 7 months ago

Sleeping

2

Leaderboard

🥇

2

Explore LM-Harmony LLM rankings after fine‑tune evaluation

liked 2 models about 1 year ago

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

2B • Updated Aug 14, 2025 • 189 • 11

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

Text Generation • 2B • Updated Jul 10, 2025 • 826 • • 7

liked 2 datasets about 1 year ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31, 2025 • 104k • 1.82k • 63

AI-MO/minif2f_test

Viewer • Updated Jul 4, 2025 • 244 • 376 • 9

liked 10 datasets over 1 year ago

SphereLab/FormalMATH-All

Viewer • Updated May 4, 2025 • 5.56k • 624 • 8

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24, 2025 • 29.8k • 994 • 16

deepseek-ai/DeepSeek-Prover-V1

Viewer • Updated Sep 12, 2024 • 27.5k • 805 • 74

stoney0062/Leanabell-Prover-Formal-Statement

Viewer • Updated Apr 16, 2025 • 1.13M • 40 • 4

harvard-lil/cold-cases

Viewer • Updated Mar 26, 2024 • 411k • 3.56k • 42

nvidia/OpenMathInstruct-2

Viewer • Updated Nov 25, 2024 • 22M • 96.7k • 255

SynthLabsAI/Big-Math-RL-Verified

Viewer • Updated Mar 25, 2025 • 251k • 5.63k • 243

ricdomolm/caselawqa-8k

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

bethgelab/CuratedThoughts

Viewer • Updated Feb 26, 2025 • 222k • 719 • 45

cat-searcher/minif2f-lean4

Viewer • Updated Mar 19, 2024 • 488 • 1.25k • 7

liked a dataset almost 2 years ago

acruz/folktexts

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

liked 2 models about 2 years ago

ricdomolm/lawma-8b

Text Generation • 8B • Updated Feb 25, 2025 • 62 • • 18

ricdomolm/lawma-70b

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