Proof Analyzer Lab

Separate experiment lane: same conversion services, evidence-first prompts, deterministic scoring first, LLM only for unresolved proof checks.

Run
Drop PDF / PPTX / PPT here or click to pick a file
Worker URL
Status
idle
Waiting for file.
Summary
No run yet.