Research author
Diego Manzanas Lopez
2 AI research papers in the One9Founders library, with summaries and links to original sources.
Papers by Diego Manzanas Lopez
Sep 24, 2026
cs.LG
Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features
Anne M. Tumlin, Ben Wooding, Zhenxuan Shao, et al.
Sep 24, 2026
cs.AI
NNV3: Expanding Neural Network Verification to New Architectures and Domains
Anne M. Tumlin, Samuel Sasaki, Ben Wooding, et al.