Andrew Clark
6 papers · 2023–2024 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π£ Hot Topic Early Bird π Conference Polyglot (3) π Cross-Pollinator (5) π Renaissance Researcher (5) π Interdisciplinary Bridge
πΊοΈ
Taxonomy Completionist
(11)
π§
Keyword Pioneer
π
Keyword Champion
Conferences
NIPS (3)
INTERSPEECH (2)
IJCAI (1)
Top co-authors
Keywords
neural network
(2)
safety verification
(2)
lyapunov function
(1)
piecewise linear
(1)
nonlinear control
(1)
social network
(1)
relu activation
(1)
cognitive bia
(1)
control policy
(1)
ground truth
(1)
autonomous system
(1)
mixed-integer programming
(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
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
NIPS 2024
Temporal Co-Registration of Simultaneous Electromagnetic Articulography and Electroencephalography for Precise Articulatory and Neural Data Alignment
INTERSPEECH 2024
NumberLie: a game-based experiment to understand the acoustics of deception and truthfulness
INTERSPEECH 2024
Neural Lyapunov Control for Discrete-Time Systems
NIPS 2023
Exact Verification of ReLU Neural Control Barrier Functions
NIPS 2023
Learning Dissemination Strategies for External Sources in Opinion Dynamic Models with Cognitive Biases
IJCAI 2023