3 papers
cs.SE2026
ConCovUp: Effective Agent-Based Test Driver Generation for Concurrency Testing
Yuandao Cai, Shuhao Fu, Wensheng Tang +3
Concurrency testing is essential to improve the reliability and security of multi-threaded programs. Dynamic analysis tools, such as TSan, depend on high-quality test drivers that…
cs.AI2026
Do AI Models Perform Human-like Abstract Reasoning Across Modalities?
Claas Beger, Ryan Yi, Shuhao Fu +5
OpenAI's o3-preview reasoning model exceeded human accuracy on the ARC-AGI-1 benchmark, but does that mean state-of-the-art models recognize and reason with the abstractions the be…
cs.LG2024
Synthetic Data Generation with LLM for Improved Depression Prediction
Andrea Kang, Jun Yu Chen, Zoe Lee-Youngzie +1
Automatic detection of depression is a rapidly growing field of research at the intersection of psychology and machine learning. However, with its exponential interest comes a grow…