Juan S Campos

1 papers · 2024–2024 · 1 conference · across top CS/AI conferences

Conferences

ICML (1)

Top co-authors

Christopher Hojny (1) Shiqiang Zhang (1) Ruth Misener (1)

Papers

Verifying message-passing neural networks via topology-based bounds tightening ICML 2024