Slim Barkallah's picture

1 7 19

Slim Barkallah

Slim205

·

AI & ML interests

Large Language Models, Natural Language Processing

Recent Activity

upvoted a paper 1 day ago

Does It Tie Out? Towards Autonomous Legal Agents in Venture Capital

liked a dataset 8 days ago

AI-MO/minif2f_test

upvoted an article about 2 months ago

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

View all activity

Organizations

None yet

models 4

Slim205/Lean_prover_v1

7B • Updated Sep 1 • 12

Slim205/Lean-conjecturer

7B • Updated Sep 1 • 12

Slim205/Barka-2b-it

Updated Oct 25, 2024 • 35 • 1

Slim205/Barka-9b-it-v02

Updated Oct 21, 2024 • 23

datasets 290

Slim205/Lean_conjecturer_data_v02

Viewer • Updated Aug 30 • 96.7k • 17

Slim205/Lean_conjecturer_data_v01

Viewer • Updated Aug 28 • 37.9k • 11

Slim205/lean_workbook_hard_goals

Viewer • Updated Jul 16 • 2.77k • 10

Slim205/lean_workbook_hard

Viewer • Updated Jul 16 • 2.77k • 15

Slim205/lean_workbook_v20_35

Viewer • Updated Jul 15 • 9.23k • 14

Slim205/lean_workbook_v20_75_35

Viewer • Updated Jul 15 • 5.99k • 20

Slim205/lean_workbook_RL_V20_hard

Viewer • Updated Jul 13 • 6.97k • 21

Slim205/lean_workbook_RL_V20_50_total

Viewer • Updated Jul 13 • 14.2k • 17

Slim205/lean_workbook_RL_V20_total

Viewer • Updated Jul 13 • 24.4k • 18

Slim205/lean_workbook_RL_V8_goals_V1

Viewer • Updated Jul 12 • 12k • 13

View 290 datasets