2 papers
cs.AI2026
Meta-Agent: From Task Descriptions to Verified Multi-Agent Systems
Andy Xu, Yu-Wing Tai
AI agents are increasingly used to solve complex, multi-step tasks, but existing multi-agent frameworks remain brittle as workflows grow in scale and depth. Small errors at interme…
cs.LG2025
SoundnessBench: A Soundness Benchmark for Neural Network Verifiers
Xingjian Zhou, Keyi Shen, Andy Xu +4
Neural network (NN) verification aims to formally verify properties of NNs, which is crucial for ensuring the behavior of NN-based models in safety-critical applications. In recent…