2025
LLM Program Optimization via Retrieval Augmented Search.
CoRR, January, 2025
Diversity By Design: Leveraging Distribution Matching for Offline Model-Based Optimization.
CoRR, January, 2025
2024
Optimal Program Synthesis via Abstract Interpretation.
Proc. ACM Program. Lang., January, 2024
Vision Language Models are In-Context Value Learners.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
Eurekaverse: Environment Curriculum Generation via Large Language Models.
CoRR, 2024
Conformal Structured Prediction.
CoRR, 2024
Evidence Is All You Need: Ordering Imaging Studies via Language Model Alignment with the ACR Appropriateness Criteria.
CoRR, 2024
Improving Structural Diversity of Blackbox LLMs via Chain-of-Specification Prompting.
CoRR, 2024
Parameter Estimation for Generalized Low-Rank Matrix Sensing by Learning on Riemannian Manifolds.
CoRR, 2024
Zeroth-Order Fine-Tuning of LLMs with Extreme Sparsity.
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2024
DrEureka: Language Model Guided Sim-To-Real Transfer.
CoRR, 2024
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction.
CoRR, 2024
Stochastic Online Conformal Prediction with Semi-Bandit Feedback.
CoRR, 2024
An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models.
CoRR, 2024
Generative Adversarial Bayesian Optimization for Surrogate Objectives.
CoRR, 2024
DrEureka: Language Model Guided Sim-To-Real Transfer.
Proceedings of the Robotics: Science and Systems XX, 2024
DROID: A Large-Scale In-The-Wild Robot Manipulation Dataset.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Robotics: Science and Systems XX, 2024
Generative Adversarial Model-Based Optimization via Source Critic Regularization.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
One-Shot Safety Alignment for Large Language Models via Optimal Dualization.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024
TRAQ: Trustworthy Retrieval Augmented Question Answering via Conformal Prediction.
Proceedings of the 2024 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers), 2024
Rethinking Fairness for Human-AI Collaboration (Extended Abstract).
Proceedings of the 15th Innovations in Theoretical Computer Science Conference, 2024
Open X-Embodiment: Robotic Learning Datasets and RT-X Models : Open X-Embodiment Collaboration.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Universal Visual Decomposer: Long-Horizon Manipulation Made Easy.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024
Stochastic Bandits with ReLU Neural Networks.
Proceedings of the Forty-first International Conference on Machine Learning, 2024
PAC Prediction Sets Under Label Shift.
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Learning Performance-Improving Code Edits.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Eureka: Human-Level Reward Design via Coding Large Language Models.
Proceedings of the Twelfth International Conference on Learning Representations, 2024
Uncertainty in Language Models: Assessment through Rank-Calibration.
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024
2023
Rethinking Fairness for Human-AI Collaboration.
CoRR, 2023
TRAC: Trustworthy Retrieval Augmented Chatbot.
CoRR, 2023
LIV: Language-Image Representations and Rewards for Robotic Control.
CoRR, 2023
Inverse Protein Folding Using Deep Bayesian Optimization.
CoRR, 2023
TOM: Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching.
CoRR, 2023
SPARLING: Learning Latent Representations with Extremely Sparse Activations.
CoRR, 2023
ACon<sup>2</sup>: Adaptive Conformal Consensus for Provable Blockchain Oracles.
Proceedings of the 32nd USENIX Security Symposium, 2023
Learning Policy-Aware Models for Model-Based Reinforcement Learning via Transition Occupancy Matching.
Proceedings of the Learning for Dynamics and Control Conference, 2023
Fast and Reliable Program Synthesis via User Interaction.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Automatically Predicting Perceived Conversation Quality in a Pediatric Sample Enriched for Autism.
Proceedings of the 24th Annual Conference of the International Speech Communication Association, 2023
LIV: Language-Image Representations and Rewards for Robotic Control.
Proceedings of the International Conference on Machine Learning, 2023
PAC Prediction Sets for Large Language Models of Code.
Proceedings of the International Conference on Machine Learning, 2023
Robust Subtask Learning for Compositional Generalization.
Proceedings of the International Conference on Machine Learning, 2023
VIP: Towards Universal Visual Reward and Representation via Value-Implicit Pre-Training.
Proceedings of the Eleventh International Conference on Learning Representations, 2023
Angelic Patches for Improving Third-Party Object Detector Performance.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
Synthesizing Trajectory Queries from Examples.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Policy Synthesis and Reinforcement Learning for Discounted LTL.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023
Uniformly Conservative Exploration in Reinforcement Learning.
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2023
2022
Ideograph: A Language for Expressing and Manipulating Structured Data.
Proceedings of the Proceedings Twelfth International Workshop on Computing with Terms and Graphs, 2022
Decision-Aware Learning for Optimizing Health Supply Chains.
CoRR, 2022
Bandits for Online Calibration: An Application to Content Moderation on Social Media Platforms.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
CoRR, 2022
How Far I'll Go: Offline Goal-Conditioned Reinforcement Learning via f-Advantage Regression.
CoRR, 2022
Towards PAC Multi-Object Detection and Tracking.
CoRR, 2022
SMODICE: Versatile Offline Imitation Learning via State Occupancy Matching.
CoRR, 2022
Neurosymbolic Deep Generative Models for Sequence Data with Relational Constraints.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Offline Goal-Conditioned Reinforcement Learning via $f$-Advantage Regression.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Regret Bounds for Risk-Sensitive Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Practical Adversarial Multivalid Conformal Prediction.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
PAC Prediction Sets for Meta-Learning.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Versatile Offline Imitation from Observations and Examples via Regularized State-Occupancy Matching.
Proceedings of the International Conference on Machine Learning, 2022
Sequential Covariate Shift Detection Using Classifier Two-Sample Tests.
Proceedings of the International Conference on Machine Learning, 2022
Understanding Robust Generalization in Learning Regular Languages.
Proceedings of the International Conference on Machine Learning, 2022
PAC Prediction Sets Under Covariate Shift.
Proceedings of the Tenth International Conference on Learning Representations, 2022
Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates.
Proceedings of the Conference on Robot Learning, 2022
Specification-Guided Learning of Nash Equilibria with High Social Welfare.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
A Framework for Transforming Specifications in Reinforcement Learning.
Proceedings of the Principles of Systems Design, 2022
Counterfactual Explanations for Natural Language Interfaces.
Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2022
Conservative and Adaptive Penalty for Model-Based Safe Reinforcement Learning.
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Compositional Learning and Verification of Neural Network Controllers.
ACM Trans. Embed. Comput. Syst., 2021
Safely Bridging Offline and Online Reinforcement Learning.
CoRR, 2021
Safe Human-Interactive Control via Shielding.
CoRR, 2021
Synthesizing Machine Learning Programs with PAC Guarantees via Statistical Sketching.
CoRR, 2021
Robust Generalization of Quadratic Neural Networks via Function Identification.
CoRR, 2021
Improving Human Decision-Making with Machine Learning.
CoRR, 2021
SkyQuery: An Aerial Drone Video Sensing Platform.
CoRR, 2021
Program Synthesis Guided Reinforcement Learning.
CoRR, 2021
Safe Reinforcement Learning via Statistical Model Predictive Shielding.
Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021
Web question answering with neurosymbolic program synthesis.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
SkyQuery: an aerial drone video sensing platform.
Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021
Program Synthesis Guided Reinforcement Learning for Partially Observed Environments.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Learning Models for Actionable Recourse.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Conservative Offline Distributional Reinforcement Learning.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Compositional Reinforcement Learning from Logical Specifications.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021
Group-Sparse Matrix Factorization for Transfer Learning of Word Embeddings.
Proceedings of the 38th International Conference on Machine Learning, 2021
PAC Confidence Predictions for Deep Neural Network Classifiers.
Proceedings of the 9th International Conference on Learning Representations, 2021
Likelihood-Based Diverse Sampling for Trajectory Forecasting.
Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021
Few-Shot Novel Concept Learning for Semantic Parsing.
Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2021, 2021
Safe Reinforcement Learning with Nonlinear Dynamics via Model Predictive Shielding.
Proceedings of the 2021 American Control Conference, 2021
Algorithms for Fairness in Sequential Decision Making.
Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021
Abstract Value Iteration for Hierarchical Reinforcement Learning.
Proceedings of the 24th International Conference on Artificial Intelligence and Statistics, 2021
2020
Diverse Sampling for Normalizing Flow Based Trajectory Forecasting.
CoRR, 2020
Ensuring Actionable Recourse via Adversarial Training.
CoRR, 2020
Neurosymbolic Transformers for Multi-Agent Communication.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
Robust Model Predictive Shielding for Safe Reinforcement Learning with Stochastic Dynamics.
Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020
Robust and Stable Black Box Explanations.
Proceedings of the 37th International Conference on Machine Learning, 2020
Generating Programmatic Referring Expressions via Program Synthesis.
Proceedings of the 37th International Conference on Machine Learning, 2020
Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis.
Proceedings of the xxAI - Beyond Explainable AI, 2020
PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction.
Proceedings of the 8th International Conference on Learning Representations, 2020
Synthesizing Programmatic Policies that Inductively Generalize.
Proceedings of the 8th International Conference on Learning Representations, 2020
Program Synthesis Using Deduction-Guided Reinforcement Learning.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020
Sample Complexity of Estimating the Policy Gradient for Nearly Deterministic Dynamical Systems.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020
"How do I fool you?": Manipulating User Trust via Misleading Black Box Explanations.
Proceedings of the AIES '20: AAAI/ACM Conference on AI, 2020
2019
Relational verification using reinforcement learning.
Proc. ACM Program. Lang., 2019
Probabilistic verification of fairness properties via concentration.
Proc. ACM Program. Lang., 2019
Synthesizing Queries via Interactive Sketching.
CoRR, 2019
MAMPS: Safe Multi-Agent Reinforcement Learning via Model Predictive Shielding.
CoRR, 2019
Safe Reinforcement Learning via Online Shielding.
CoRR, 2019
PolyDroid: Learning-Driven Specialization of Mobile Applications.
CoRR, 2019
Learning Interpretable Models with Causal Guarantees.
CoRR, 2019
REINAM: reinforcement learning for input-grammar inference.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
A Composable Specification Language for Reinforcement Learning Tasks.
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019
Learning Safe Unlabeled Multi-Robot Planning with Motion Constraints.
Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019
Learning Neurosymbolic Generative Models via Program Synthesis.
Proceedings of the 36th International Conference on Machine Learning, 2019
Eventually Sound Points-To Analysis with Specifications.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019
Polytopic Trees for Verification of Learning-Based Controllers.
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019
2018
Verifying Fairness Properties via Concentration.
CoRR, 2018
Program synthesis using conflict-driven learning.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Active learning of points-to specifications.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018
Verifiable Reinforcement Learning via Policy Extraction.
Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018
2017
Beyond deductive inference in program analysis.
PhD thesis, 2017
Eventually Sound Points-To Analysis with Missing Code.
CoRR, 2017
Interpretability via Model Extraction.
CoRR, 2017
Interpreting Blackbox Models via Model Extraction.
CoRR, 2017
Synthesizing program input grammars.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability.
Proceedings of the 24th Annual Network and Distributed System Security Symposium, 2017
2016
Minimizing GUI event traces.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Measuring Neural Net Robustness with Constraints.
Proceedings of the Advances in Neural Information Processing Systems 29: Annual Conference on Neural Information Processing Systems 2016, 2016
2015
Specification Inference Using Context-Free Language Reachability.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
An interactive approach to mobile app verification.
Proceedings of the 3rd International Workshop on Mobile Development Lifecycle, 2015
Interactively verifying absence of explicit information flows in Android apps.
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015
2013
Zero-Shot Learning Through Cross-Modal Transfer
Proceedings of the 1st International Conference on Learning Representations, 2013
Stanford's 2013 KBP System.
Proceedings of the Sixth Text Analysis Conference, 2013
2012
An Efficient Homomorphic Encryption Protocol for Multi-User Systems.
IACR Cryptol. ePrint Arch., 2012
2011
Randomization, Sums of Squares, and Faster Real Root Counting for Tetranomials and Beyond.
CoRR, 2011