QUERY INPUT
DVL ENGINE STATUS
ENGINE:ONLINE
RULES:3
MODEL:finverify-lora
TOLERANCE:5%
Ctrl+↵ to execute
Sample Queries
SYSTEM CONSTRAINTS
✓Numerical queries: verified with DVL
✗Advisory queries: returned unverified
✗Open-ended: LLM response only
HOW DVL WORKS3 DETERMINISTIC RULES
The Deterministic Verification Layer applies ordered rules to catch formatting-level errors in LLM numerical outputs.
SCALE0.12→12%
SIGN-0.34→+0.34
MAGNITUDE104→1040
Run the demo or type a query to see DVL in action.
RAW LLM OUTPUT
Awaiting query execution
DVL CORRECTION LOG
Awaiting input...
VERIFIED OUTPUT
Execute a query to see verified output
DVL SCOPE LIMITATIONS
✓Corrects: scale errors, sign errors, magnitude errors (formatting-level)
✗Cannot fix: multi-step reasoning errors (73.1% of remaining failures)
⚠When trust is MEDIUM/LOW: independently verify the underlying calculation
No queries yet — run the demo to get started