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 2 months ago

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

liked a dataset about 2 months 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/Mathlib_RL_V13

Viewer • Updated Jun 27, 2025 • 10.9k • 1

Slim205/mathlib_RL_v3_iter11

Viewer • Updated Jun 26, 2025 • 10.9k • 1

Slim205/mathlib_RL_v3_meta_tactic_3

Viewer • Updated Jun 26, 2025 • 12.9k • 1

Slim205/mathlib_RL_v3_length

Viewer • Updated Jun 26, 2025 • 10.9k • 1

Slim205/mathlib_RL_v4

Viewer • Updated Jun 25, 2025 • 21.2k • 1

Slim205/mathlib_RL_v3_sorted

Viewer • Updated Jun 25, 2025 • 10.9k • 3

Slim205/mathlib_RL_v3

Viewer • Updated Jun 25, 2025 • 10.9k

Slim205/minif2f

Viewer • Updated Jun 23, 2025 • 488 • 1

Slim205/mathlib_RL_v2

Viewer • Updated Jun 22, 2025 • 10.9k

Slim205/mathlib_bench_V1_2048

Viewer • Updated Jun 22, 2025 • 10.9k • 1

Slim205/benchmark_mathlib_new_compiled

Viewer • Updated Jun 21, 2025 • 21.9k • 1

Slim205/mathlib_RL_v1

Viewer • Updated Jun 18, 2025 • 7.96k • 1

Slim205/mathlib_benchmark_v09_2048

Viewer • Updated Jun 17, 2025 • 7.96k • 1

Slim205/mathlib_benchmark_v09_new

Viewer • Updated Jun 17, 2025 • 42.2k • 1

Slim205/mathlib_benchmark_v09

Viewer • Updated Jun 16, 2025 • 42.2k • 1

Slim205/mathlib_v09

Viewer • Updated Jun 16, 2025 • 60.8k • 1

Slim205/mathlib_benchmark_v15

Viewer • Updated Jun 14, 2025 • 44.4k

Slim205/mathlib_v15

Viewer • Updated Jun 13, 2025 • 69.2k • 1

Slim205/mathlib_anomaly

Viewer • Updated Jun 10, 2025 • 42k • 1

Slim205/mathlib_benchmark_v1

Viewer • Updated Jun 10, 2025 • 2.65k • 1

Slim205/mathlib_v3

Viewer • Updated Jun 10, 2025 • 52.2k • 1

Slim205/math_res_Kimina-Prover-Preview-Distill-1.5B_32_100

Viewer • Updated Jun 9, 2025 • 3.2k • 1

Slim205/math_res_DeepSeek-Prover-V1.5-SFT_32_100

Viewer • Updated Jun 9, 2025 • 1.6k • 1

Slim205/math_res_DeepSeek-Prover-V1.5-SFT_32_50

Viewer • Updated Jun 9, 2025 • 1.6k • 1

Slim205/math_res_Kimina-Prover-Preview-Distill-1.5B_32_50

Viewer • Updated Jun 9, 2025 • 1.6k • 1

Slim205/math_res_Kimina-Prover-Preview-Distill-1.5B_2

Viewer • Updated Jun 9, 2025 • 20 • 1

Slim205/math_res_AI-MO_2

Viewer • Updated Jun 9, 2025 • 20 • 1

Slim205/mathlib_benchmark

Viewer • Updated Jun 8, 2025 • 30.1k • 1

Slim205/mathlib_v2

Viewer • Updated Jun 7, 2025 • 59.8k • 1

Slim205/mathlib_bench_v1_results

Viewer • Updated Jun 7, 2025 • 90 • 1