Slim Barkallah's picture

1 6 18

Slim Barkallah

Slim205

·

AI & ML interests

Large Language Models, Natural Language Processing

Recent Activity

upvoted an article about 1 month ago

OpenEvolve: An Open Source Implementation of Google DeepMind's AlphaEvolve

updated a model 3 months ago

Slim205/Lean_prover_v1

updated a model 3 months ago

Slim205/Lean-conjecturer

View all activity

Organizations

None yet

Slim205 's datasets 290

Slim205/Lean_conjecturer_data_v02

Viewer • Updated Aug 30 • 96.7k • 21

Slim205/Lean_conjecturer_data_v01

Viewer • Updated Aug 28 • 37.9k • 27

Slim205/lean_workbook_hard_goals

Viewer • Updated Jul 16 • 2.77k • 18

Slim205/lean_workbook_hard

Viewer • Updated Jul 16 • 2.77k • 10

Slim205/lean_workbook_v20_35

Viewer • Updated Jul 15 • 9.23k • 11

Slim205/lean_workbook_v20_75_35

Viewer • Updated Jul 15 • 5.99k • 10

Slim205/lean_workbook_RL_V20_hard

Viewer • Updated Jul 13 • 6.97k • 14

Slim205/lean_workbook_RL_V20_50_total

Viewer • Updated Jul 13 • 14.2k • 15

Slim205/lean_workbook_RL_V20_total

Viewer • Updated Jul 13 • 24.4k • 9

Slim205/lean_workbook_RL_V8_goals_V1

Viewer • Updated Jul 12 • 12k • 11

Slim205/lean_workbook_RL_V20_05

Viewer • Updated Jul 12 • 7.15k • 10

Slim205/lean_workbook_RL_V20_075

Viewer • Updated Jul 12 • 8.77k • 13

Slim205/lean_workbook_RL_V20_interval

Viewer • Updated Jul 12 • 3.6k • 8

Slim205/lean_workbook_RL_V20_2000

Viewer • Updated Jul 12 • 10.4k • 9

Slim205/lean_workbook_RL_V20_100

Viewer • Updated Jul 12 • 9.45k • 7

Slim205/lean_workbook_RL_09

Viewer • Updated Jul 12 • 9.99k • 6

Slim205/lean_workbook_RL_V20

Viewer • Updated Jul 12 • 12.4k • 10

Slim205/lean_workbook_RL_08

Viewer • Updated Jul 12 • 9.03k • 9

Slim205/lean_workbook_RL_no_zero_examples_1000

Viewer • Updated Jul 12 • 9.45k • 11

Slim205/lean_workbook_RL_no_zero_examples_2000

Viewer • Updated Jul 12 • 10.4k • 6

Slim205/lean_workbook_RL_no_zero_examples

Viewer • Updated Jul 12 • 8.45k • 9

Slim205/lean_workbook_RL_V14_hinter_v6

Viewer • Updated Jul 8 • 12k • 14

Slim205/minif2f_complexity

Viewer • Updated Jul 8 • 244 • 12

Slim205/leanworkbook_test_complexity

Viewer • Updated Jul 8 • 434 • 7

Slim205/lean_workbook_RL_V14_hinter_v5

Viewer • Updated Jul 8 • 12k • 9

Slim205/leanworkbook_hinter_v14_v5

Viewer • Updated Jul 8 • 3.66k • 10

Slim205/lean_workbook_RL_V14_hinter_v4

Viewer • Updated Jul 8 • 12k • 11

Slim205/leanworkbook_hinter_v14_v3

Viewer • Updated Jul 8 • 4.14k • 9

Slim205/lean_workbook_RL_V14_hinter_v2

Viewer • Updated Jul 8 • 12k • 10

Slim205/leanworkbook_hinter_v14_v1

Viewer • Updated Jul 8 • 4.65k • 8