This is a dataset I've generated containing about 50,000 JSON datapoints of the lambda calculus, including prompts for the problem, and extended explanation of the solution process. It was originally generated in pure JSON with extra metadata for myself. There are 50 separate files ranging on average 2.7 MB, each containing 1000 datapoints, this is split for the at home trainers with low GPU. This dataset is converted to a Question-Reasoning-Answer style ideally (hopefully) for use with… See the full description on the dataset page:
https://huggingface.co/datasets/Creekside/GRPO-Lambda-ParsedForUnsloth.
