ResearchBenchmarksMasking Verification on Barrett reduction over ZqFollow0Universal ScorePaper 3-0.001-0.000500.0005Apr 27, 2026Evaluation ResultsMethodMethodLinksUniversal ScoreBarrett ScoreMachine-Checked ScorePF-PINI ScorePaper 3Venue=arXiv 2026, Mask...Venue=arXiv 2026, Masking (tools)=Zq (Lean 4)2026.040—4—Paper 4Venue=2026, Masking (t...Venue=2026, Masking (tools)=Zq (Lean 4)2026.040—41This workMasking (tools)=Zq (Le...Masking (tools)=Zq (Lean 4)2026.040—42