mhieuuu/ac-solver-dataset

AC-Solver Transformer 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 Background: The Andrews-Curtis Conjecture A balanced presentation of a group is a… See the full description on the dataset page: https://huggingface.co/datasets/mhieuuu/ac-solver-dataset.