publication venue for
- Literacy and STEM Teachers Adapt AI Ethics Curriculum 2023
- Incentivized Exploration for Multi-Armed Bandits under Reward Drift 2020
- Differential Performance Debugging with Discriminant Regression Trees 2018
- A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs 2024
- Assume-Guarantee Reinforcement Learning 2024
- Neural Closure Certificates 2024
- Omega-Regular Decision Processes 2024
- Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements 2023
- Robust Average-Reward Markov Decision Processes 2023
- Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games 2023
- Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations 2022
- Bayesian Optimized Monte Carlo Planning 2021
- Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search 2021
- Shape-based Feature Engineering for Solar Flare Prediction 2021
- Learning to Learn Morphological Inflection for Resource-Poor Languages 2020
- Preventing Arbitrage from Collusion When Eliciting Probabilities 2020
- Verb Class Induction with Partial Supervision 2020
- Weakly Supervised POS Taggers Perform Poorly on Truly Low-Resource Languages 2020
- Leveraging Textual Specifications for Grammar-Based Fuzzing of Network Protocols 2019
- Automating Analysis and Feedback to Improve Mathematics Teachers' Classroom Discourse 2019
- Partial Verification as a Substitute for Money 2019
- Efficiency and Safety in Autonomous Vehicles through Planning with Uncertainty (Thesis Summary) 2018
- Randomized Clustered Nystrom for Large-Scale Kernel Machines 2018
- ERMMA: Expected Risk Minimization for Matrix Approximation-based Recommender Systems 2017
- GLOMA: Embedding Global Information in Local Matrix Approximation Models for Collaborative Filtering 2017
- Robust Partially-Compressed Least-Squares 2017
- The Complexity of Stable Matchings under Substitutable Preferences 2017
- Detecting Change Points in the Large-Scale Structure of Evolving Networks 2015
- Elicitation for Aggregation 2015
- Fair Information Sharing for Treasure Hunting 2015
- Social Hierarchical Learning 2015
- Providing Decision Support for Cosmogenic Isotope Dating 2010