2 papers
cs.CL2026
Building Reliable Long-Form Generation via Hallucination Rejection Sampling
Lin Li, Georgia Channing, Suhaas M Bhat +2
Large language models (LLMs) have achieved remarkable progress in open-ended text generation, yet they remain prone to hallucinating incorrect or unsupported content, which undermi…
cs.AR2026
Autoformalizing Memory Specifications with Agents
Jan Ole Ernst, Dmitri Michelangelo Saberi, Derek Christ +6
The primary goal of Design Verification (DV) is to ensure that a proposed chip design implementation (either in code, or physical form) exactly matches its specification and is fre…