Slim Barkallah's picture

1 5 18

Slim Barkallah

Slim205

·

AI & ML interests

Large Language Models, Natural Language Processing

Recent Activity

updated a model 7 days ago

Slim205/Lean_prover_v1

updated a model 7 days ago

Slim205/Lean-conjecturer

published a model 7 days ago

Slim205/Lean-conjecturer

View all activity

Organizations

None yet

models 4

Slim205/Lean_prover_v1

7B • Updated 7 days ago • 25

Slim205/Lean-conjecturer

7B • Updated 7 days ago • 27

Slim205/Barka-2b-it

Updated Oct 25, 2024 • 16 • 1

Slim205/Barka-9b-it-v02

Updated Oct 21, 2024 • 13

datasets 290

Slim205/Lean_conjecturer_data_v02

Viewer • Updated 9 days ago • 96.7k • 78

Slim205/Lean_conjecturer_data_v01

Viewer • Updated 11 days ago • 37.9k • 86

Slim205/lean_workbook_hard_goals

Viewer • Updated Jul 16 • 2.77k • 3

Slim205/lean_workbook_hard

Viewer • Updated Jul 16 • 2.77k • 8

Slim205/lean_workbook_v20_35

Viewer • Updated Jul 15 • 9.23k • 3

Slim205/lean_workbook_v20_75_35

Viewer • Updated Jul 15 • 5.99k • 1

Slim205/lean_workbook_RL_V20_hard

Viewer • Updated Jul 13 • 6.97k • 2

Slim205/lean_workbook_RL_V20_50_total

Viewer • Updated Jul 13 • 14.2k • 1

Slim205/lean_workbook_RL_V20_total

Viewer • Updated Jul 13 • 24.4k • 5

Slim205/lean_workbook_RL_V8_goals_V1

Viewer • Updated Jul 12 • 12k • 2

View 290 datasets