2 papers
cs.SE2026
Verus-SpecGym: An Agentic Environment for Evaluating Specification Autoformalization
Anmol Agarwal, Natalie Neamtu, Pranjal Aggarwal +6
AI coding agents are increasingly used to write real-world software, but ensuring that their outputs are correct remains a fundamental challenge. Formal verification offers a promi…
cs.CL2023
Record Deduplication for Entity Distribution Modeling in ASR Transcripts
Tianyu Huang, Chung Hoon Hong, Carl Wivagg +1
Voice digital assistants must keep up with trending search queries. We rely on a speech recognition model using contextual biasing with a rapidly updated set of entities, instead o…