sympy
Datasets
All datasets matching “sympy”gsm8k_sympy_temp
Dataset Card for "gsm8k_sympy_temp"
More Information needed
swe-agent-cpu-dynamorio-pilot-sympy-15599
One-agent CPU trace pilot
Preliminary research data. Validation is incomplete; this is not a confirmed dead-state result.
One live mini-SWE-agent 2.4.6 execution of sympy__sympy-15599, using a separate Qwen3-Coder-30B-A3B-Instruct AWQ server. The collector finished normally in 907.94 seconds. The agent made 57 model calls and submitted a patch; benchmark evaluation was not run. This is mini-SWE-agent, not the original full SWE-agent implementation.
What is included… See the full description on the dataset page: https://huggingface.co/datasets/harry1332/swe-agent-cpu-dynamorio-pilot-sympy-15599.Sera-4.5A-Sympy-T1This dataset contains 27227 trajectories. Data was generated from the first rollout of SVG on 6 Sympy commits using GLM-4.5-Air as teacher.
Schema:
messages: Generated trajectory
instance_id: ID of trajectory
rollout_patch: Created patch to the codebase
func_name: Name of function sampled from codebase to start the pipeline
func_path: File path to the sampled function
Note: Apply json.loads() to the messages column to load.
Sera-4.5A-Sympy-T1 is licensed under the Open Data Commons… See the full description on the dataset page: https://huggingface.co/datasets/allenai/Sera-4.5A-Sympy-T1.Sera-4.5A-Sympy-T2This dataset contains 25397 trajectories. Data was generated from the second rollout of SVG on 6 Sympy commits using GLM-4.5-Air as teacher and includes one SVG runs per function.
We only run verification at 0.5 recall for specialization rollouts (second rollout).
Schema:
messages: Generated trajectory
instance_id: ID of trajectory
rollout_patch: Created patch to the codebase
func_name: Name of function sampled from codebase to start the pipeline
func_path: File path to the sampled function… See the full description on the dataset page: https://huggingface.co/datasets/allenai/Sera-4.5A-Sympy-T2.polaris_filtered_nemotron_medium_sympy_verifiable
Polaris Filtered Nemotron Medium Sympy Verifiable
This dataset is a curated subset of reasoning data from nvidia/Nemotron-Math-v2, specifically filtered for mathematical verifiability (verified using sympy-based equivalence), not having tool-reliance (TIR), and decontamination against the POLAIRS (POLARIS-Project/Polaris-Dataset-53K) dataset.
Dataset Summary
Total Original Samples: 2,500,820
Final Kept Samples: 263,123 (10.5%)
Target Reasoning Length: Optimized for… See the full description on the dataset page: https://huggingface.co/datasets/devvrit/polaris_filtered_nemotron_medium_sympy_verifiable.gsm8k_sympy_v3
Dataset Card for "gsm8k_sympy_v3"
More Information needed