Andrew Clark

6 papers · 2023–2024 · 3 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🗺️ Taxonomy Completionist (11) 🐣 Hot Topic Early Bird 🏆 Keyword Champion

Venues

NeurIPS (3) Interspeech (2) IJCAI (1)

Top co-authors

Hongchao Zhang (2) Volker Dellwo (2) Yevgeniy Vorobeychik (2) Junlin Wu (2) Lei He (1) Bhaskar Ramasubramanian (1) Abdullah Al Maruf (1) Daniel Friedrichs (1) Alessandro De Luca (1) Sam Kirkham (1)

Research topics

Artificial Intelligence (4) Core AI (3) Deep Learning (2) Machine Learning (2) Optimization & Theory (2) Computer Science (1) Healthcare & Medicine (1) Applications (1) Architectures (1) Bayesian & Probabilistic (1) Clinical (1) Research (1) Techniques (1)

Keywords

neural network (2) safety verification (2) lyapunov function (1) piecewise linear (1) nonlinear control (1) mixed integer programming (1) social network (1) relu activation (1) cognitive bia (1) control policy (1) ground truth (1) autonomous system (1) relu neural network (1) control barrier function (1) opinion dynamics (1) deception detection (1) acoustic analysis (1) speech signal (1) electromagnetic articulography (1) speech kinematics (1)

Papers

NumberLie: a game-based experiment to understand the acoustics of deception and truthfulness Interspeech 2024 SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions NeurIPS 2024 Temporal Co-Registration of Simultaneous Electromagnetic Articulography and Electroencephalography for Precise Articulatory and Neural Data Alignment Interspeech 2024 Exact Verification of ReLU Neural Control Barrier Functions NeurIPS 2023 Learning Dissemination Strategies for External Sources in Opinion Dynamic Models with Cognitive Biases IJCAI 2023 Neural Lyapunov Control for Discrete-Time Systems NeurIPS 2023