Get started
Author

Ben Wooding

Observed name: Wooding, Ben
Observed institution: Vanderbilt University
OpenAlex ID: A5124438926
A Self-correcting Neuro-symbolic AI Reasoning Framework
2026 · Ben Wooding, Kiersten Brennan, et al. · Lecture notes in computer science
MetaMoE: Formal Verification of Compositional Robustness and Scalability of Mixture-of-Experts Architecture
2026 · Quang Pham, Ben Wooding, et al. · Lecture notes in computer science
n2v: Neural Network Verification in Python (Competition Contribution)
2026 · Samuel Sasaki, Ben Wooding, et al. · Lecture notes in computer science
Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features
2026 · Anne M. Tumlin, Ben Wooding, et al. · Lecture notes in computer science
PDF
NNV3: Expanding Neural Network Verification to New Architectures and Domains
2026 · Wooding, Ben · Code Ocean
ARCH-COMP26 Category Report:Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
2026 · Sasaki, Samuel, Wooding, Ben, et al. · VBN Forskningsportal (Aalborg Universitet)
PDF
ARCH-COMP26 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
2026 · Geretti, Luca, Alexandre Dit Sandretto, Julien, et al. · HAL
Works count: 7
Citation count:
H-index:
I10-index:
Year
Topic
Type