Model Hub

Browse PQC-verified AI models, datasets, and tools

All Models Datasets Tools
Sort: Most Downloaded Most Liked Recently Updated
Risk: All CRITICAL HIGH MEDIUM LOW
nvidia/OpenMathReasoning HF Unverified

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.

Task_categories:question-AnsweringTask_categories:text-GenerationLanguage:enSize_categories:1M<n<10MFormat:parquetModality:text
quantmrkt/PQC Neurosymbolic Reasoning Ledger Available

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.

Chain of ThoughtReasoningNeurosymbolicLegalMedicalFinancialExplainabilityMerkleML-DSAAudit Trail MEDIUM
Showing 2 of 2 items (page 1 of 1)
Prev Next