Albert Lin

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

Venues

L4DC (2) ACL (1) ICLR (1)

Top co-authors

Somil Bansal (2) Srinivas C Turaga (1) Karthik Narasimhan (1) Alessandro Pinto (1) Khanh Nguyen (1) Lu Mi (1) Jens Tuyls (1) Sridhama Prakhya (1) Richard Xu (1) Aravinthan Samuel (1)

Research topics

Artificial Intelligence (4) Deep Learning (3) Architectures (3) Core AI (3) Knowledge & Reasoning (1) Machine Learning (1) Bayesian & Probabilistic (1) Models (1) Optimization & Theory (1) Reasoning (1)

Keywords

conformal prediction (1) probabilistic modeling (1) variational inference (1) uncertainty quantification (1) compositional generalization (1) state estimation (1) model-based reinforcement learning (1) brain activity (1) latent variable model (1) variational autoencoder (1) world model (1) hamilton-jacobi reachability (1) safety guarantee (1) scenario optimization (1) reachability analysis (1) reachable set (1) language feedback (1) neural reachable tube (1) perceptual uncertainty (1) formal safety verification (1)

Papers

Robust Verification of Controllers under State Uncertainty via Hamilton-Jacobi Reachability Analysis L4DC 2026 Language-guided World Models: A Model-based Approach to AI Control ACL 2024 Verification of neural reachable tubes via scenario optimization and conformal prediction L4DC 2024 Connectome-constrained Latent Variable Model of Whole-Brain Neural Activity ICLR 2022