1 citations · 1 across the 3 of their papers we have counts for
3 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.LG2024
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…
cs.SE2024★ 1 cited
HELP: Hierarchical Embeddings-based Log Parsing
Andy Xu, Arno Gau
Logs are a first-hand source of information for software maintenance and failure diagnosis. Log parsing, which converts semi-structured log messages into structured templates, is a…