mhieuuu/

ac-solver-dataset

Training corpus for a decoder-only Transformer language model on the Andrews-Curtis (AC) conjecture — one of the longest-standing open problems in combinatorial group theory, and a challenging benchmark for reinforcement learning.

Paper: What Makes Math Problems Hard for Reinforcement Learning: A Case Study Code: github.com/shehper/AC-Solver

A balanced presentation of a group is a description… See the full description on the dataset page: https://huggingface.co/datasets/mhieuuu/ac-solver-dataset.