3 papers
cs.SE2026
Specification-Based Testing of Large Language Models
Kausar Moshood, Jace Bolante, Roshan Aditya Murali +1
Model cards, system cards, and safety reports increasingly document LLM safety behaviors, yet safety evaluations typically start from predefined benchmarks rather than asking which…
cs.SE2026
Kaizen: Metamorphic Fuzzing and Differential Testing for LLM-Translated HPC Applications
Oscar Ludwig, Ninad Anklesaria, Zheming Jin +7
Large language models (LLMs) are increasingly used to port scientific codes across heterogeneous high-performance computing (HPC) programming models, such as translating CUDA to Op…
cs.CL2026
WaxalNet: Benchmarking and Adapting Speech Recognition for Spontaneous Speech in 19 African Languages
Victor Tolulope Olufemi, Oreoluwa Babatunde, Ramsey Njema +28
Multilingual speech foundation models claim broad language coverage, but how well they handle spontaneous African speech, and how best to adapt them, remains unclear. We benchmark…