datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
Nemotron-Math-Proofs-v1-prompt-only
Nemotron-Math-Proofs-v1-prompt-only
Prompt-only extraction from nvidia/Nemotron-Math-Proofs-v1.
Files:
prompts.csv: one prompt extraction record per source row. Records include
prompt, separated system_prompt, and structured tools when the source row
defines available tools. Nested values are JSON-encoded inside CSV cells.
summary.md: source row counts, extracted row counts, count deltas, and failed prompt counts.
null_or_empty_rows.md: row indexes where prompt extraction… See the full description on the dataset page: https://huggingface.co/datasets/jamesdborin/Nemotron-Math-Proofs-v1-prompt-only.ProofWriterProofWiki-TheoremsSet of theorems scraped from Proofwiki.org.
28k Theorem and Proof pairs.
legal-preaction-letter-claim-proof-remedy-coherence-v0.1What this dataset does
You receive
claim summary
facts detail level
legal basis
evidence signposted
remedy and quantum
protocol steps and deadlines
You decide
coherent
or
incoherent
Daily use
safe-to-send LBA check
demand proportionality check
protocol compliance check
credibility risk flag
legal-service-method-address-proof-coherence-risk-v0.1What this dataset does
You receive
rule context
required method
address for service
actual steps
proof
timing
You decide
coherent
or
incoherent
Daily use
service QC
re-serve trigger
timing breach flag
extension trigger
Nemotron-Math-Proofs-v2-prompt-only
Nemotron-Math-Proofs-v2-prompt-only
Prompt-only extraction from nvidia/Nemotron-Math-Proofs-v2.
Files:
prompts.csv: one prompt extraction record per source row. Records include
prompt, separated system_prompt, and structured tools when the source row
defines available tools. Nested values are JSON-encoded inside CSV cells.
summary.md: source row counts, extracted row counts, count deltas, and failed prompt counts.
null_or_empty_rows.md: row indexes where prompt extraction… See the full description on the dataset page: https://huggingface.co/datasets/jamesdborin/Nemotron-Math-Proofs-v2-prompt-only.legal-pleading-allegation-element-proof-coherence-v0.1What this dataset does
You receive
cause of action
elements
allegations
evidence signposts
remedy
consistency signals
You decide
coherent
or
incoherent
Daily use
pleading QC
missing element detection
contradiction detection
overpleading detection
legal-service-proof-address-method-deadline-coherence-risk-v0.1What this dataset does
You receive
document summary
rules summary
deadline summary
method and address summary
service date
deemed service calculation summary
proof summary
defect flags
You decide
coherent
or
incoherent
Daily use
service QC before filing certificate
avoid strike out
avoid adjournment
avoid wasted costs