Slim205/Lean_prover_v1
7B • Updated
• 1
Slim Barkallah
Slim205
AI & ML interests
Large Language Models, Natural Language Processing
Organizations
None yet
datasets 290
Slim205/Lean_conjecturer_data_v02
Viewer
• Updated
• 96.7k • 9
Slim205/Lean_conjecturer_data_v01
Viewer
• Updated
• 37.9k • 7
Slim205/lean_workbook_hard_goals
Viewer
• Updated
• 2.77k • 92
Slim205/lean_workbook_hard
Viewer
• Updated
• 2.77k • 91
Slim205/lean_workbook_v20_35
Viewer
• Updated
• 9.23k • 84
Slim205/lean_workbook_v20_75_35
Viewer
• Updated
• 5.99k • 89
Slim205/lean_workbook_RL_V20_hard
Viewer
• Updated
• 6.97k • 85
Slim205/lean_workbook_RL_V20_50_total
Viewer
• Updated
• 14.2k • 78
Slim205/lean_workbook_RL_V20_total
Viewer
• Updated
• 24.4k • 78
Slim205/lean_workbook_RL_V8_goals_V1
Viewer
• Updated
• 12k • 85