← Authors

Chuqin Geng

2 papers · 2023–2024 · 2 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (10)

Conferences

ACML (1) ICML (1)

Top co-authors

Nham Le (2) Arie Gurfinkel (2) Xujie Si (2) Xiaojie Xu (1) Zhaoyue Wang (1)

Keywords

adversarial robustness (1) neural network verification (1) specification mining (1) neural activation pattern (1) input space (1)

Papers

Towards Robust Saliency Maps ACML 2024
Towards Reliable Neural Specifications ICML 2023