Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ann Roy
Map detail
Ann Roy6 visible / 6 total nodes / 15 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Co-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipTopic signalAnn RoyAAnn RoyResearcherVNN-LIB 2.0: Rigorous Foundations for Neural Network VerificationWVNN-LIB 2.0: Rigorous F...preprint / 2026Andrea GimelliAAndrea GimelliResearcherAllen AntonyAAllen AntonyResearcherMatthew L. DaggittAMatthew L. DaggittResearcherMachine LearningTMachine Learning49008 works
Person5 links

Ann Roy

Researcher