Research author

Zhenxuan Shao

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Zhenxuan Shao

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.

Zhenxuan Shao — AI Research Papers | One9Founders