Research author

Anne M. Tumlin

2 AI research papers in the One9Founders library, with summaries and links to original sources.

Papers by Anne M. Tumlin

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.

Anne M. Tumlin — AI Research Papers | One9Founders