Shadowgraph
TrendingAbout
Sign in

FrenzyMath/state_tactic_pairs

Dataset

This dataset contains 56,407 state-tactic pairs collected through expert iteration for training REAL-Prover.

1

10 commits

1 linked in READMEs

updated Jul 11, 2025

See the code

README

This dataset contains 56,407 state-tactic pairs collected through expert iteration for training REAL-Prover.

Contributors

mmtke

10 commits

Similar repos

solanaclawd/solana-tx-foundation-cpt

Dataset

0

We-Want-GPU/Yi-Ko-DPO-Orca-DPO-Pairs

Dataset

4

HuggingFaceH4/Polaris-Dataset-53K

Dataset

1

MA

homebrewltd/Maze-Reasoning-GRPO-v0.1

Dataset

arxiv.org/abs/2502.14669

11

HuggingFaceH4/test-cot

Dataset

0

LukeBailey181Pub/D_3k

Dataset

1

yitingxie/rlhf-reward-datasets

Dataset

Dataset Card for "rlhf-reward-datasets"

73

ChilleD/StrategyQA

Dataset

6

Linked in READMEs

frenzymath/REAL-Prover

33

README badge

FrenzyMath/state_tactic_pairs

Dataset

This dataset contains 56,407 state-tactic pairs collected through expert iteration for training REAL-Prover.

1

10 commits

1 linked in READMEs

updated Jul 11, 2025

See the code

README

This dataset contains 56,407 state-tactic pairs collected through expert iteration for training REAL-Prover.

Similar repos

solanaclawd/solana-tx-foundation-cpt

Dataset

0

We-Want-GPU/Yi-Ko-DPO-Orca-DPO-Pairs

Dataset

4

HuggingFaceH4/Polaris-Dataset-53K

Dataset

1

MA

homebrewltd/Maze-Reasoning-GRPO-v0.1

Dataset

arxiv.org/abs/2502.14669

11

HuggingFaceH4/test-cot

Dataset

0

LukeBailey181Pub/D_3k

Dataset

1

yitingxie/rlhf-reward-datasets

Dataset

Dataset Card for "rlhf-reward-datasets"

73

ChilleD/StrategyQA

Dataset

6

Linked in READMEs

frenzymath/REAL-Prover

33

README badge

Contributors

mmtke

10 commits