Slim Barkallah's picture

1 7 19

Slim Barkallah

Slim205

·

AI & ML interests

Large Language Models, Natural Language Processing

Recent Activity

upvoted a paper about 1 month ago

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

liked a dataset about 1 month ago

AI-MO/minif2f_test

upvoted an article 3 months ago

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

View all activity

Organizations

None yet

Slim205 's datasets 290

Slim205/lean_workbook_RL_V15

Viewer • Updated Jul 8, 2025 • 5.32k • 1

Slim205/lean_workbook_RL_V14_pass4

Viewer • Updated Jul 8, 2025 • 13.3k • 1

Slim205/lean_workbook_RL_V14

Viewer • Updated Jul 7, 2025 • 21.1k • 1

Slim205/leanworkbook_hinter_v3

Viewer • Updated Jul 7, 2025 • 4.44k • 1

Slim205/leanworkbook_hinter_v2

Viewer • Updated Jul 7, 2025 • 7.89k • 1

Slim205/lean_workbook_RL_V13_V1

Viewer • Updated Jul 6, 2025 • 10.9k • 2

Slim205/lean_workbook_RL_V13

Viewer • Updated Jul 6, 2025 • 21k • 1

Slim205/lean_workbook_RL_hinter_V1

Viewer • Updated Jul 5, 2025 • 24.4k • 2

Slim205/lean_workbook_RL_V8_hinter_pass

Viewer • Updated Jul 5, 2025 • 12k • 1

Slim205/lean_workbook_RL_V8_hinter

Viewer • Updated Jul 5, 2025 • 12.4k • 1

Slim205/lean_workbook_RL_V8_goals_full

Viewer • Updated Jul 5, 2025 • 24.4k • 1

Slim205/lean_workbook_RL_V8_complexity

Viewer • Updated Jul 5, 2025 • 12.4k • 2

Slim205/lean_workbook_RL_V8_goals

Viewer • Updated Jul 5, 2025 • 24.4k • 1

Slim205/lean_workbook_RL_V8

Viewer • Updated Jul 4, 2025 • 24.4k • 1

Slim205/lean_workbook_RL_minif2f

Viewer • Updated Jul 3, 2025 • 24.4k • 9

Slim205/lean_workbook_RL_V5

Viewer • Updated Jul 3, 2025 • 24.8k • 1

Slim205/lean_workbook_RL_goedel_v4

Viewer • Updated Jul 3, 2025 • 23.3k • 1

Slim205/lean_workbook_RL_full_v1

Viewer • Updated Jul 1, 2025 • 86k • 1

Slim205/lean_workbook_RL_full

Viewer • Updated Jul 1, 2025 • 86k • 1

Slim205/lean_workbook_RL

Viewer • Updated Jul 1, 2025 • 86k • 2

Slim205/lean_workbook_RL_v3

Viewer • Updated Jul 1, 2025 • 11.7k • 1

Slim205/lean_workbook_RL_V2

Viewer • Updated Jul 1, 2025 • 11.8k • 3

Slim205/lean_workbook_goedel

Viewer • Updated Jul 1, 2025 • 29.8k • 1

Slim205/mathlib_RL_v3_goals

Viewer • Updated Jun 29, 2025 • 10.9k • 2

Slim205/mathlib_RL_v3_traced2

Viewer • Updated Jun 29, 2025 • 10.3k • 2

Slim205/mathlib_RL_v3_traced

Viewer • Updated Jun 29, 2025 • 10.3k • 2

Slim205/mathlib_RL_v3_traced1

Viewer • Updated Jun 29, 2025 • 10.3k • 2

Slim205/mathlib_RL_length_brackets

Viewer • Updated Jun 28, 2025 • 10.9k • 2

Slim205/mathlib_RL_exp_length

Viewer • Updated Jun 28, 2025 • 10.9k • 2

Slim205/mathlib_RL_eval_complexity

Viewer • Updated Jun 28, 2025 • 10.9k • 2