Get started
Author

Samuel Sasaki

Observed name: Sasaki, Samuel
Observed institution: Vanderbilt University
OpenAlex ID: A5137241484
NNV3: Expanding Neural Network Verification to New Architectures and Domains
2026 · Tumlin, Anne M., Sasaki, Samuel, et al. · arXiv (Cornell University)
PDF
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
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
Scaling Data-Driven Probabilistic Robustness Analysis for Semantic Segmentation Neural Networks
2025 · Navid Hashemi, Samuel Sasaki, et al. · neural information processing systems
Works count: 7
Citation count:
H-index:
I10-index:
Year
Topic
Type