Taha Entesari

5 papers · 2023–2026 · 4 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 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (10)

Venues

L4DC (2) ECCV (1) ICML (1) NeurIPS (1)

Top co-authors

Mahyar Fazlyab (5) Sina Sharifi (2) Aniket Roy (1) Bardia Safaei (1) Vishal Patel (1) Rama Chellappa (1)

Research topics

Artificial Intelligence (4) Deep Learning (4) Core AI (4) Machine Learning (3) Optimization & Theory · Machine Learning (3) Architectures (2) Learning Types · Deep Learning (2) Knowledge & Reasoning (1) Learning Types · Machine Learning (1) Optimization & Theory · Deep Learning (1) Reasoning (1)

Keywords

lipschitz constant (2) reachability analysis (2) lipchitz regularization (1) robustness (1) margin maximization (1) dynamical system (1) adversarial perturbation (1) decision boundary (1) neural network verification (1) safety verification (1) lipschitz regularization (1) neural network controller (1) lipshitz constant (1) neural network (1) safety certificate (1) second derivative (1) polytope approximation (1) branch-and-bound verification (1) taylor bound (1) mnist (1)

Papers

Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification L4DC 2026 Compositional Curvature Bounds for Deep Neural Networks ICML 2024 Gradient-based Out-of-Distribution Detection ECCV 2024 Automated Reachability Analysis of Neural Network-Controlled Systems via Adaptive Polytopes L4DC 2023 Certified Robustness via Dynamic Margin Maximization and Improved Lipschitz Regularization NeurIPS 2023