Waive finds the household, or the deadline, that a hospital's written policy leaves behind, and shows the evidence.
NVIDIA Nemotron writes each Colorado hospital's charity-care policy as logic, every clause tied to the policy's own words. The Z3 theorem prover then checks the encoded rules against Colorado's Hospital Discounted Care law and federal 501(r), exhaustively over a stated range of households and billing timelines. A pass is a proof about the encoded rules; a fail comes with the exact household or day, the policy's sentence and the law's.
✓ proved for the encoded rules · ✗ counterexample · ? inconclusive (a rule was dropped in checking) · – not stated in the policy · n/a doesn't apply · dashed Nemotron 3 Ultra's and Super's models disagree
Loading the audit…
Your hospital may owe you a $0 bill, not $8,412.
Most hospitals must give free or discounted care to patients under an income limit they set themselves. Waive reads your hospital's policy, shows you the exact sentence that applies, and prepares the application.
Nonprofit hospitals billed at least $2.7 billion in one year to patients who qualified for this help (CFPB).
- 1Add a photo of your billor try a sample bill below
- 2Tell us your household size and incomeused only for this check, never stored
- 3Get your answer and your application packetwith the policy's own words as proof
Colorado Policy Atlas
Every policy compiled by Nemotron from the hospital's own document, each rule proven by a quote.
How the audit works
Language models read; a theorem prover decides. Nemotron turns each policy into logic, every clause tied to a sentence of the policy. Z3 then checks that logic against Colorado and federal law, exhaustively within a stated range (1–12 people, income up to $1M, first bill by day 400). How faithful the logic is to the policy is measured separately, below. No model ever says whether a policy is legal.
Which model does what, and why
How accurate is the translation?
Evaluation results appear here once the run is complete.
What the audit can't do
- It audits the written policy. A hospital may apply Colorado's law through a process its policy doesn't describe, so a counterexample means "the policy as written doesn't guarantee this", not "the hospital breaks the law".
- The translation can be wrong. Every finding links to the policy's own words; disputed findings (the two models disagree) need a person to read the policy.
- Household facts the vocabulary can't express (specific services, documents, procedures) are left out and noted, never guessed.
- Only Colorado law and federal 501(r) are encoded. Policies change: each audit shows the document it used.
- Some hospital sites block downloads; those hospitals are missing, not passed.
- Not legal advice.