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

models 4

Slim205/Lean_prover_v1

7B • Updated Sep 1 • 4

Slim205/Lean-conjecturer

7B • Updated Sep 1 • 3

Slim205/Barka-2b-it

Updated Oct 25, 2024 • 41 • 1

Slim205/Barka-9b-it-v02

Updated Oct 21, 2024 • 25

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

View 290 datasets