Team Ai
20 results

agentic

agentica-org /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.text10K<n<100K208 likes40k downloads2y agoHugging Facenvidia /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.text-generation83 likes8.7k downloads2mo agoHugging Faceagentica-org /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.text10K<n<100K116 likes4.2k downloads1y agoHugging Facenvidia /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.texttext-generation10K<n<100K19 likes3.6k downloads10mo agoHugging FaceAgenticCommons /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.texttext-generation1K<n<10K3 likes3.5k downloads6d agoHugging FaceMinjaeLee-FuriosaAI-Ext /ai-research-berkeley-agentic-verification-harness-optgated 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.0 likes2.6k downloads8m agoHugging Face