Slim Barkallah

Slim205's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

upvoted a paper 2 days ago

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

Paper • 2512.18658 • Published 9 days ago • 8

liked a dataset 8 days ago

AI-MO/minif2f_test

Viewer • Updated Jul 4 • 244 • 780 • 8

upvoted an article about 2 months ago

view article

Article

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

• 

May 20

•

54

updated 2 models 4 months ago

Slim205/Lean_prover_v1

7B • Updated Sep 1 • 13

Slim205/Lean-conjecturer

7B • Updated Sep 1 • 12

published a model 4 months ago

Slim205/Lean-conjecturer

7B • Updated Sep 1 • 12

updated a dataset 4 months ago

Slim205/Lean_conjecturer_data_v02

Viewer • Updated Aug 30 • 96.7k • 17

published a dataset 4 months ago

Slim205/Lean_conjecturer_data_v02

Viewer • Updated Aug 30 • 96.7k • 17

updated a dataset 4 months ago

Slim205/Lean_conjecturer_data_v01

Viewer • Updated Aug 28 • 37.9k • 12

published a dataset 4 months ago

Slim205/Lean_conjecturer_data_v01

Viewer • Updated Aug 28 • 37.9k • 12

published a model 4 months ago

Slim205/Lean_prover_v1

7B • Updated Sep 1 • 13

updated a dataset 6 months ago

Slim205/lean_workbook_hard_goals

Viewer • Updated Jul 16 • 2.77k • 10

published a dataset 6 months ago

Slim205/lean_workbook_hard_goals

Viewer • Updated Jul 16 • 2.77k • 10

updated a dataset 6 months ago

Slim205/lean_workbook_hard

Viewer • Updated Jul 16 • 2.77k • 15

published a dataset 6 months ago

Slim205/lean_workbook_hard

Viewer • Updated Jul 16 • 2.77k • 15

updated a dataset 6 months ago

Slim205/lean_workbook_v20_35

Viewer • Updated Jul 15 • 9.23k • 14

published a dataset 6 months ago

Slim205/lean_workbook_v20_35

Viewer • Updated Jul 15 • 9.23k • 14

updated a dataset 6 months ago

Slim205/lean_workbook_v20_75_35

Viewer • Updated Jul 15 • 5.99k • 20

published a dataset 6 months ago

Slim205/lean_workbook_v20_75_35

Viewer • Updated Jul 15 • 5.99k • 20

updated a dataset 6 months ago

Slim205/lean_workbook_RL_V20_hard

Viewer • Updated Jul 13 • 6.97k • 20