agentic
gemma-4-12B-agentic-fable5-composer2.5-v2-3.5x-tau2-GGUFQwen3.8-27B-Uncensored-Cyber-agentic-imatrix-GGUFsmall-agentic-model-1.5BQwen3.8-27B-OBLITERATED-Mythos-Class-Agentic-GGUFQwen3.8-27B-OBLITERATED-Mythos-Class-Agenticgemma-4-12B-agentic-fable5-composer2.5-v2-3.5x-tau2-uncensored-heretic-i1-GGUFQwen3.8-27B-OBLITERATED-Mythos-Class-Agentic-i1-GGUFsmall-agentic-model-2b
Datasets
All datasets matching “agentic”DeepScaleR-Preview-Dataset
Data
Our training dataset consists of approximately 40,000 unique mathematics problem-answer pairs compiled from:
AIME (American Invitational Mathematics Examination) problems (1984-2023)
AMC (American Mathematics Competition) problems (prior to 2023)
Omni-MATH dataset
Still dataset
Format
Each row in the JSON dataset contains:
problem: The mathematical question text, formatted with LaTeX notation.
solution: Offical solution to the problem, including LaTeX formatting… See the full description on the dataset page: https://huggingface.co/datasets/agentica-org/DeepScaleR-Preview-Dataset.Nemotron-SFT-Agentic-v2
Dataset Description
The Nemotron-SFT-Agentic-v2 dataset is a collection of synthetic single-turn and multi-turn tool-use trajectories designed to strengthen models’ capabilities as interactive, tool-using agents. It targets tasks where the model must decompose user goals, decide when to call tools, and reason over tool outputs to complete tasks reliably and safely.
This dataset is ready for commercial use.
The dataset consolidates three internally curated components (described… See the full description on the dataset page: https://huggingface.co/datasets/nvidia/Nemotron-SFT-Agentic-v2.DeepCoder-Preview-Dataset
Data
Our training dataset consists of 24K problems paired with their test cases:
7.5K TACO Verified problems.
16K verified coding problems from PrimeIntellect’s SYNTHETIC-1.
600 LiveCodeBench (v5) problems submitted between May 1, 2023 and July 31, 2024.
Our test dataset consists of:
LiveCodeBench (v5) problems between August 1, 2024 and February 1, 2025.
Codeforces problems from Qwen/CodeElo.
Format
Each row in the dataset contains:
problem: The coding problem… See the full description on the dataset page: https://huggingface.co/datasets/agentica-org/DeepCoder-Preview-Dataset.Nemotron-AIQ-Agentic-Safety-Dataset-1.0
Nemotron-AIQ Agentic Safety Dataset
Dataset Summary
Nemotron-AIQ-Agentic-Safety-Dataset is a comprehensive dataset that captures a broad range of novel safety and security contextual risks that can emerge within agentic systems. It highlights the robustness of NVIDIA's open model, llama-3.3-nemotron-super-49b-v1, when deployed as a research assistant inside AIQ, demonstrating its ability to handle a diverse spectrum of agentic safety and security challenges. The dataset… See the full description on the dataset page: https://huggingface.co/datasets/nvidia/Nemotron-AIQ-Agentic-Safety-Dataset-1.0.formal-math-autoformalization
Formal Math Autoformalization Dataset
A growing, CC0 public-domain corpus of ⟨natural-language statement ↔ Lean 4 statement + proof⟩ pairs, contributed through the Agentic Commons network.
Why this is scarce data. Mathlib already contains millions of proven Lean theorems — but as bare Lean, with no paired natural language:
theorem add_comm (a b : ℕ) : a + b = b + a := ... -- no "addition on naturals is commutative" attached
The scarce, valuable artifact is the pairing of the… See the full description on the dataset page: https://huggingface.co/datasets/AgenticCommons/formal-math-autoformalization.ai-research-berkeley-agentic-verification-harness-opt
Agentic Verification Meta-Verifier Traces
This public, manually gated Dataset repository stores immutable phase snapshots
from Meta-Verifier experiments.
Each run is organized as:
experiments/<theme>/<method>/<run>/phases/
train/ # Solver, delegated-verifier, Proposer/Reflector, harness population
val/ # Full validation traces, metrics, and selected frozen harness
heldout/ # Claimed held-out stage, all scheduled cells, and final scores
Access requests are… See the full description on the dataset page: https://huggingface.co/datasets/MinjaeLee-FuriosaAI-Ext/ai-research-berkeley-agentic-verification-harness-opt.
