2 papers
cs.SE2026
Safety Analysis of CPSs Over-the-air Updates: Test Case Prioritization and Selection
Andrea Bombarda, Luca Carminati, Nunzio Marco Bisceglia +5
Over-the-air (OTA) updates for Cyber-Physical Systems (CPS) allow engineers to modify their software wirelessly. In the automotive domain, they enable manufacturers to update softw…
cs.CL2026
Dual-Track CoT: Budget-Aware Stepwise Guidance for Small LMs
Sagnik Chatterjee, Atharva Patil, Sricharan Ramesh
Large Language Models (LLMs) solve many reasoning tasks via chain-of-thought (CoT) prompting, but smaller models (about 7 to 8B parameters) still struggle with multi-step reasoning…