Sign inGet started
Dataset · Hugging Face

NecroMOnk/bfs-optimal-symbolic-algebra-simplification-trajectories

ISRE v7 BFS Trajectories This dataset contains BFS-optimal symbolic algebra simplification trajectories for the ISRE research project. Each row is one trajectory. Nested fields are stored as JSON strings to preserve the original AST and step structure without lossy flattening. What This Dataset Is This is not a natural-language instruction dataset. It is a symbolic algebra policy-learning dataset. Each trajectory starts from a deliberately scrambled algebraic… See the full description on the dataset page: https://huggingface.co/datasets/NecroMOnk/bfs-optimal-symbolic-algebra-simplification-tra

Author / organizationNecroMOnk
License (as declared)mit
Downloads131 (as reported by Hugging Face)
Likes0
Created31 May 2026
Last updated at source7 June 2026
symbolic-reasoningalgebraastneuro-symbolicbfsparquet
Embed this entry
<iframe src="https://silytics.si/embed/item/19ef3021-5741-48d9-a1d2-782a4417e9c5" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Free, no tracking. More about feeds and embeds.

Popularity, last 2 days

131 now (+6 since 2026-10-16). Counts as reported by the source, snapshotted daily by Silytics.

More from NecroMOnk

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.