ScaleBiO

community

AI & ML interests

None defined yet.

research4pan

authored a paper 4 months ago

GAR: Generative Adversarial Reinforcement Learning for Formal Theorem Proving

Paper • 2510.11769 • Published Oct 13, 2025 • 26

pxyyy

updated 19 datasets over 1 year ago

ScaleBiO/ScaleBiO-Test-MTBench

Viewer • Updated Nov 20, 2024 • 600 • 11

ScaleBiO/ScaleBiO-Train-alpaca_chat_turn2

Viewer • Updated Nov 20, 2024 • 3k • 7

ScaleBiO/ScaleBiO-Train-alpaca_de_49963

Viewer • Updated Nov 20, 2024 • 3k • 7

ScaleBiO/ScaleBiO-Train-lmsys-chat-1m

Viewer • Updated Nov 20, 2024 • 3k • 4

ScaleBiO/ScaleBiO-Train-share_gpt4

Viewer • Updated Nov 20, 2024 • 3k • 7

ScaleBiO/ScaleBiO-Train-alpaca_es_51942

Viewer • Updated Nov 20, 2024 • 3k • 6

ScaleBiO/ScaleBiO-Train-alpaca_zh_48818

Viewer • Updated Nov 20, 2024 • 3k • 3

ScaleBiO/ScaleBiO-Train-slimorca

Viewer • Updated Nov 20, 2024 • 3k • 6

ScaleBiO/ScaleBiO-Train-alpaca_fr_55178

Viewer • Updated Nov 20, 2024 • 3k • 3

ScaleBiO/ScaleBiO-Train-alpaca_it_51710

Viewer • Updated Nov 20, 2024 • 3k • 6

ScaleBiO/ScaleBiO-Train-alpaca_pt_51759

Viewer • Updated Nov 20, 2024 • 3k • 3

ScaleBiO/ScaleBiO-Train-teknium-GPTeacher-General-Instruct

Viewer • Updated Nov 20, 2024 • 3k • 3

ScaleBiO/ScaleBiO-Train-alpaca_gpt4

Viewer • Updated Nov 20, 2024 • 3k • 5

ScaleBiO/ScaleBiO-Train-alpaca_ru_29822

Viewer • Updated Nov 20, 2024 • 3k • 4

ScaleBiO/ScaleBiO-Train-Open-Orca-1million-gpt-4

Viewer • Updated Nov 20, 2024 • 3k • 3

ScaleBiO/ScaleBiO-Train-jondurbin-airoboros-3

Viewer • Updated Nov 20, 2024 • 3k • 3

ScaleBiO/ScaleBiO-Train-alpaca_ja_51999

Viewer • Updated Nov 20, 2024 • 3k • 3

ScaleBiO/ScaleBiO-Train-allenai-WildChat-1m

Viewer • Updated Nov 20, 2024 • 3k • 8

ScaleBiO/ScaleBiO-Train-alpaca_ko_49620

Viewer • Updated Nov 20, 2024 • 3k • 3