Slim205/lean_workbook_RL_V15
Viewer • Updated • 5.32k • 15
Slim Barkallah
Slim205
AI & ML interests
Large Language Models, Natural Language Processing
Organizations
None yet
Slim205/lean_workbook_RL_V14_pass4
Viewer • Updated • 13.3k • 13
Slim205/lean_workbook_RL_V14
Viewer • Updated • 21.1k • 56
Slim205/leanworkbook_hinter_v3
Viewer • Updated • 4.44k • 14
Slim205/leanworkbook_hinter_v2
Viewer • Updated • 7.89k • 24
Slim205/lean_workbook_RL_V13_V1
Viewer • Updated • 10.9k • 12
Slim205/lean_workbook_RL_V13
Viewer • Updated • 21k • 58
Slim205/lean_workbook_RL_hinter_V1
Viewer • Updated • 24.4k • 14
Slim205/lean_workbook_RL_V8_hinter_pass
Viewer • Updated • 12k • 14
Slim205/lean_workbook_RL_V8_hinter
Viewer • Updated • 12.4k • 40
Slim205/lean_workbook_RL_V8_goals_full
Viewer • Updated • 24.4k • 43
Slim205/lean_workbook_RL_V8_complexity
Viewer • Updated • 12.4k • 17
Slim205/lean_workbook_RL_V8_goals
Viewer • Updated • 24.4k • 14
Slim205/lean_workbook_RL_V8
Viewer • Updated • 24.4k • 24
Slim205/lean_workbook_RL_minif2f
Viewer • Updated • 24.4k • 21
Slim205/lean_workbook_RL_V5
Viewer • Updated • 24.8k • 24
Slim205/lean_workbook_RL_goedel_v4
Viewer • Updated • 23.3k • 21
Slim205/lean_workbook_RL_full_v1
Viewer • Updated • 86k • 12
Slim205/lean_workbook_RL_full
Viewer • Updated • 86k • 16
Slim205/lean_workbook_RL
Viewer • Updated • 86k • 19
Slim205/lean_workbook_RL_v3
Viewer • Updated • 11.7k • 20
Slim205/lean_workbook_RL_V2
Viewer • Updated • 11.8k • 9
Slim205/lean_workbook_goedel
Viewer • Updated • 29.8k • 18
Slim205/mathlib_RL_v3_goals
Viewer • Updated • 10.9k • 15
Slim205/mathlib_RL_v3_traced2
Viewer • Updated • 10.3k • 37
Slim205/mathlib_RL_v3_traced
Viewer • Updated • 10.3k • 19
Slim205/mathlib_RL_v3_traced1
Viewer • Updated • 10.3k • 8
Slim205/mathlib_RL_length_brackets
Viewer • Updated • 10.9k • 28
Slim205/mathlib_RL_exp_length
Viewer • Updated • 10.9k • 20
Slim205/mathlib_RL_eval_complexity
Viewer • Updated • 10.9k • 18