Slim Barkallah's picture

1 7 19

Slim Barkallah

Slim205

·

AI & ML interests

Large Language Models, Natural Language Processing

Recent Activity

upvoted a paper 4 days ago

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

liked a dataset 10 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

upvoted a paper 4 days ago

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

Paper • 2512.18658 • Published 11 days ago • 10

liked a dataset 10 days ago

AI-MO/minif2f_test

Viewer • Updated Jul 4, 2025 • 244 • 816 • 8

upvoted an article about 2 months ago

Article

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

May 20, 2025

•

54

updated 2 models 4 months ago

Slim205/Lean_prover_v1

7B • Updated Sep 1, 2025 • 13

Slim205/Lean-conjecturer

7B • Updated Sep 1, 2025 • 12

published a model 4 months ago

Slim205/Lean-conjecturer

7B • Updated Sep 1, 2025 • 12

updated a dataset 4 months ago

Slim205/Lean_conjecturer_data_v02

Viewer • Updated Aug 30, 2025 • 96.7k • 17

published a dataset 4 months ago

Slim205/Lean_conjecturer_data_v02

Viewer • Updated Aug 30, 2025 • 96.7k • 17

updated a dataset 4 months ago

Slim205/Lean_conjecturer_data_v01

Viewer • Updated Aug 28, 2025 • 37.9k • 12

published a dataset 4 months ago

Slim205/Lean_conjecturer_data_v01

Viewer • Updated Aug 28, 2025 • 37.9k • 12

published a model 4 months ago

Slim205/Lean_prover_v1

7B • Updated Sep 1, 2025 • 13

updated a dataset 6 months ago

Slim205/lean_workbook_hard_goals

Viewer • Updated Jul 16, 2025 • 2.77k • 10

published a dataset 6 months ago

Slim205/lean_workbook_hard_goals

Viewer • Updated Jul 16, 2025 • 2.77k • 10

updated a dataset 6 months ago

Slim205/lean_workbook_hard

Viewer • Updated Jul 16, 2025 • 2.77k • 16

published a dataset 6 months ago

Slim205/lean_workbook_hard

Viewer • Updated Jul 16, 2025 • 2.77k • 16

updated a dataset 6 months ago

Slim205/lean_workbook_v20_35

Viewer • Updated Jul 15, 2025 • 9.23k • 14

published a dataset 6 months ago

Slim205/lean_workbook_v20_35

Viewer • Updated Jul 15, 2025 • 9.23k • 14

updated a dataset 6 months ago

Slim205/lean_workbook_v20_75_35

Viewer • Updated Jul 15, 2025 • 5.99k • 20

published a dataset 6 months ago

Slim205/lean_workbook_v20_75_35

Viewer • Updated Jul 15, 2025 • 5.99k • 20

updated a dataset 6 months ago

Slim205/lean_workbook_RL_V20_hard

Viewer • Updated Jul 13, 2025 • 6.97k • 21