Andy Shih

发表

Verifying Binarized Neural Networks by Local Automaton Learning

Adnan Darwiche, Arthur Choi, Andy Shih, 2019 .

Compiling Neural Networks into Tractable Boolean Circuits

Adnan Darwiche, Arthur Choi, Andy Shih, 2019 .

Development of neurotrophic factor therapy for Alzheimer's disease.

L. Goodman, H. Phillips, P. Godowski, 1996, Ciba Foundation symposium.

Training and Inference on Any-Order Autoregressive Models the Right Way

S. Ermon, Dorsa Sadigh, Andy Shih, 2022, 2205.13554.

Imitation Learning by Estimating Expertise of Demonstrators

S. Ermon, Dorsa Sadigh, Ramtin Pedarsani, 2022, ICML.

Training and Inference on Any-Order Autoregressive Models the Right Way

S. Ermon, Dorsa Sadigh, Andy Shih, 2022, NeurIPS.

A Symbolic Approach to Explaining Bayesian Network Classifiers

Adnan Darwiche, Arthur Choi, Andy Shih, 2018, IJCAI.

On the Opportunities and Risks of Foundation Models

Michael S. Bernstein, Juan Carlos Niebles, Christopher D. Manning, 2021, ArXiv.

Repeated Interactions Convention Dependence HighLow ρi ρ 2 ρ 3 Rule representation Convention representation 4 player chess Friendly Rock Paper Scissors time gt gp

S. Ermon, Dorsa Sadigh, Andy Shih, 2021 .

Compiling Bayesian Network Classifiers into Decision Graphs

Adnan Darwiche, Arthur Choi, Andy Shih, 2019, AAAI.

Parallel Sampling of Diffusion Models

Suneel Belkhale, S. Ermon, Dorsa Sadigh, 2023, ArXiv.

On the Critical Role of Conventions in Adaptive Human-AI Collaboration pdf

Stefano Ermon, Dorsa Sadigh, Andy Shih, 2021, ICLR.

On Tractable Representations of Binary Neural Networks pdf

Adnan Darwiche, Arthur Choi, Andy Shih, 2020, KR.

Influencing Towards Stable Multi-Agent Interactions

Dorsa Sadigh, Andy Shih, Annie Xie, 2021, CoRL.

Probabilistic Circuits for Variational Inference in Discrete Graphical Models pdf

Stefano Ermon, Andy Shih, S. Ermon, 2020, NeurIPS.

HyperSPNs: Compact and Expressive Probabilistic Circuits pdf

Stefano Ermon, Dorsa Sadigh, Andy Shih, 2021, NeurIPS.

On Symbolically Encoding the Behavior of Random Forests pdf

Adnan Darwiche, Arthur Choi, Andy Shih, 2020, ArXiv.

Formal Verification of Bayesian Network Classifiers

Adnan Darwiche, Arthur Choi, Andy Shih, 2018, PGM.

PantheonRL: A MARL Library for Dynamic Training Interactions

Dorsa Sadigh, Andy Shih, Bidipta Sarkar, 2021, AAAI Conference on Artificial Intelligence.

Verifying Binarized Neural Networks by Angluin-Style Learning

Adnan Darwiche, Arthur Choi, Andy Shih, 2019, SAT.

Long Horizon Temperature Scaling

Dorsa Sadigh, Andy Shih, Stefano Ermon, 2023, ICML.

DreamPropeller: Supercharge Text-to-3D Generation with Parallel Sampling

Chenlin Meng, Andy Shih, Stefano Ermon, 2023, ArXiv.

Parallel Sampling of Diffusion Models

Suneel Belkhale, Dorsa Sadigh, Andy Shih, 2023, NeurIPS.

Diverse Conventions for Human-AI Collaboration

Dorsa Sadigh, Andy Shih, Bidipta Sarkar, 2023, NeurIPS.

Conditional Imitation Learning for Multi-Agent Games pdf

Stefano Ermon, Dorsa Sadigh, Andy Shih, 2022, 2022 17th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

On the Opportunities and Risks of Foundation Models

Michael S. Bernstein, Juan Carlos Niebles, Christopher D. Manning, 2021, ArXiv.