Research author

Tyler Derr

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

Papers by Tyler Derr

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.

Aug 24, 2026
cs.LG

RAD: Rule-Augmented Relational Anomaly Detection

Noah Dahle, Anne Tumlin, Ngoc Tran, et al.

Tyler Derr — AI Research Papers | One9Founders