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 • 6
Slim205/Lean_conjecturer_data_v01
Viewer • Updated • 37.9k • 10
Slim205/lean_workbook_hard_goals
Viewer • Updated • 2.77k • 5
Slim205/lean_workbook_hard
Viewer • Updated • 2.77k • 8
Slim205/lean_workbook_v20_35
Viewer • Updated • 9.23k • 6
Slim205/lean_workbook_v20_75_35
Viewer • Updated • 5.99k • 6
Slim205/lean_workbook_RL_V20_hard
Viewer • Updated • 6.97k • 17
Slim205/lean_workbook_RL_V20_50_total
Viewer • Updated • 14.2k • 8
Slim205/lean_workbook_RL_V20_total
Viewer • Updated • 24.4k • 5
Slim205/lean_workbook_RL_V8_goals_V1
Viewer • Updated • 12k • 8