Ricardo

ricdomolm's activity

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

liked 2 models 4 months ago

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

2B • Updated Aug 14 • 7.74k • 8

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

Text Generation • 2B • Updated Jul 10 • 4.26k • • 7

liked a dataset 4 months ago

AI-MO/NuminaMath-LEAN

Viewer • Updated Jul 31 • 104k • 520 • 47

liked 5 datasets 5 months ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 845 • 6

SphereLab/FormalMATH-All

Viewer • Updated May 4 • 5.56k • 4.96k • 8

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24 • 29.8k • 752 • 13

deepseek-ai/DeepSeek-Prover-V1

Viewer • Updated Sep 12, 2024 • 27.5k • 270 • 68

stoney0062/Leanabell-Prover-Formal-Statement

Viewer • Updated Apr 16 • 1.13M • 44 • 4

liked a dataset 6 months ago

harvard-lil/cold-cases

Viewer • Updated Mar 26, 2024 • 411k • 4.69k • 38

liked a dataset 9 months ago

nvidia/OpenMathInstruct-2

Viewer • Updated Nov 25, 2024 • 22M • 16.4k • 216

liked 3 datasets 10 months ago

SynthLabsAI/Big-Math-RL-Verified

Viewer • Updated Mar 25 • 251k • 5.42k • 211

ricdomolm/caselawqa-8k

Viewer • Updated Mar 7 • 22k • 51 • 3

bethgelab/CuratedThoughts

Viewer • Updated Feb 26 • 222k • 421 • 44

liked a dataset 11 months ago

cat-searcher/minif2f-lean4

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

liked a dataset about 1 year ago

acruz/folktexts

Viewer • Updated Nov 28, 2024 • 8.13M • 354 • 4

liked 2 models about 1 year ago

ricdomolm/lawma-8b

Text Generation • 8B • Updated Feb 25 • 170 • • 11

ricdomolm/lawma-70b

Text Generation • 71B • Updated Aug 8, 2024 • 153 • 4

liked a Space about 1 year ago

Runtime error

4

CaselawQA leaderboard (WIP)

🏛

4

Browse and submit evaluations for CaselawQA benchmarks

liked a Space over 1 year ago

Running on CPU Upgrade

13.7k

Open LLM Leaderboard

🏆

13.7k

Track, rank and evaluate open LLMs and chatbots