Ricardo

ricdomolm's activity

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

liked a dataset 23 days ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 813 • 6

updated a dataset about 1 month ago

ricdomolm/FormalMATH

Viewer • Updated Jul 5 • 5.56k • 85

published a dataset about 1 month ago

ricdomolm/FormalMATH

Viewer • Updated Jul 5 • 5.56k • 85

liked 4 datasets about 1 month ago

SphereLab/FormalMATH-All

Viewer • Updated May 4 • 5.56k • 94 • 7

Goedel-LM/Lean-workbook-proofs

Viewer • Updated Mar 24 • 29.8k • 643 • 12

deepseek-ai/DeepSeek-Prover-V1

Viewer • Updated Sep 12, 2024 • 27.5k • 248 • 66

stoney0062/Leanabell-Prover-Formal-Statement

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

liked a dataset about 2 months ago

harvard-lil/cold-cases

Viewer • Updated Mar 26, 2024 • 411k • 1.41k • 33

updated a dataset about 2 months ago

ricdomolm/OpenMathInstruct-2-MATH-Questions

Viewer • Updated Jun 10 • 526k • 10

published a dataset about 2 months ago

ricdomolm/OpenMathInstruct-2-MATH-Questions

Viewer • Updated Jun 10 • 526k • 10

updated a dataset 2 months ago

ricdomolm/OpenCodeReasoning-Questions

Viewer • Updated Jun 9 • 28.5k • 14

published a dataset 2 months ago

ricdomolm/OpenCodeReasoning-Questions

Viewer • Updated Jun 9 • 28.5k • 14

updated a dataset 2 months ago

ricdomolm/lawma-reasoning-qwen4b-v0

Viewer • Updated Jun 6 • 273k • 9

published a dataset 2 months ago

ricdomolm/lawma-reasoning-qwen4b-v0

Viewer • Updated Jun 6 • 273k • 9

updated 2 models 4 months ago

ricdomolm/lawma-135m

Text Generation • 0.1B • Updated Apr 20 • 5

ricdomolm/lawma-360m

Text Generation • 0.4B • Updated Apr 20 • 3

published 2 models 4 months ago

ricdomolm/lawma-360m

Text Generation • 0.4B • Updated Apr 20 • 3

ricdomolm/lawma-135m

Text Generation • 0.1B • Updated Apr 20 • 5

updated a model 4 months ago

ricdomolm/lawma-3b

Text Generation • 3B • Updated Apr 20 • 3

published a model 4 months ago

ricdomolm/lawma-3b

Text Generation • 3B • Updated Apr 20 • 3