Model Hub
Browse PQC-verified AI models, datasets, and tools
nuReasoning Paper Website nuReasoning Website nuReasoning Dev-kit nuReasoning is a reasoning-centric multimodal autonomous driving dataset for evaluating and training end-to-end driving systems in long-tail real-world scenarios. Each sample is built around a driving clip with synchronized multi-camera images, LiDAR data, ego state, object annotations, HD map, routing, and frame-level reasoning annotations. Reasoning annotations are organized into three complementary… See the full description on the dataset page: https://huggingface.co/datasets/nureasoning/nuReasoning.
OpenMathReasoning OpenMathReasoning is a large-scale math reasoning dataset for training large language models (LLMs). This dataset contains 306K unique mathematical problems sourced from AoPS forums with: 3.2M long chain-of-thought (CoT) solutions 1.7M long tool-integrated reasoning (TIR) solutions 566K samples that select the most promising solution out of many candidates (GenSelect) Additional 193K problems sourced from AoPS forums (problems only, no solutions) We used… See the full description on the dataset page: https://huggingface.co/datasets/nvidia/OpenMathReasoning.
PQC-signed neurosymbolic reasoning ledger. Chain-of-thought steps hash-chained in real time during AI inference, Merkle-rooted, ML-DSA-65 signed. Produces legally defensible reasoning trails that survive quantum transition. 11 StepKinds (thought, observation, hypothesis, deduction, retrieval, tool-call, tool-result, self-critique, refinement, decision, meta). 36 tests passing.