2 papers
cs.RO2026
Importance Sampling and PCA for Finding Failures in Commercial Autonomous Vehicles
Hailey Warner, Duncan Eddy, Shreya Parjan +6
Methods for discovering rare failures in autonomous systems have so far been demonstrated almost exclusively in simulations with simple, academic driving stacks, leaving open wheth…
cs.CL2026
Faithful Autoformalization via Roundtrip Verification and Repair
Daneshvar Amrollahi, Jerry Lopez, Clark Barrett
When an LLM formalizes natural language, how do we know the output is faithful? We propose a roundtrip verification approach which does not require ground-truth annotations: formal…