Sheila A. McIlraith
- STEVE-1: A Generative Model for Text-to-Behavior in Minecraft
2023/06/01 by Shalev Lifshitz, Keiran Paster, Lifshitz, Shalev +7 · 14 citations
Computer Science · #Artificial Intelligence (cs.AI) #Artificial Intelligence in Games #FOS: Computer and information sciences #Human Pose and Action Recognition #Machine Learning (cs.LG) #Multimodal Machine Learning Applications
- Multi-Agent Verification: Scaling Test-Time Compute with Multiple Verifiers
2025/02/27 by Shalev Lifshitz, Sheila A. McIlraith, Lifshitz, Shalev +3 · 17 citations
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Topic Modeling
- You Can't Count on Luck: Why Decision Transformers and RvS Fail in Stochastic Environments
2022/05/31 by Keiran Paster, Sheila A. McIlraith, Paster, Keiran +3 · 4 citations
Computer Science · Economics, Econometrics and Finance · #Reinforcement Learning in Robotics #Machine Learning and Data Classification #Sports Analytics and Performance
- Learning Reward Machines: A Study in Partially Observable Reinforcement Learning
2021/12/17 by Rodrigo Toro Icarte, Icarte, Rodrigo Toro, Ethan Waldie +9 · 2 citations
Biochemistry, Genetics and Molecular Biology · Medicine · #Artificial Intelligence (cs.AI) #Diabetes Treatment and Management #FOS: Computer and information sciences #Heart Failure Treatment and Management #Machine Learning (cs.LG) #Receptor Mechanisms and Signaling
- AppBuddy: Learning to Accomplish Tasks in Mobile Apps via Reinforcement\n Learning
2021/05/31 by Maayan Shvo, Shvo, Maayan, Zhiming Hu +9 · 1 citation
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Mobile Crowdsensing and Crowdsourcing #Reinforcement Learning in Robotics #Smart Grid Energy Management
- Noisy Symbolic Abstractions for Deep RL: A case study with Reward Machines
2022/11/20 by Andrew C. Li, Li, Andrew C., Zizhao Chen +9 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Machine Learning (cs.LG) #Software Engineering Research #Topic Modeling
- Remembering to Be Fair: Non-Markovian Fairness in Sequential Decision Making
2023/12/08 by Parand A. Alamdari, Alamdari, Parand A., Toryn Q. Klassen +5 · 1 citation
Business, Management and Accounting · Decision Sciences · #Artificial Intelligence (cs.AI) #Complex Systems and Decision Making #Computers and Society (cs.CY) #Decision-Making and Behavioral Economics #FOS: Computer and information sciences #Machine Learning (cs.LG) #Supply Chain and Inventory Management
- Ground-Compose-Reinforce: Grounding Language in Agentic Behaviours using Limited Data
2025/07/14 by Andrew C. Li, Toryn Q. Klassen, Li, Andrew C. +7 · 2 citations
Computer Science · #Reinforcement Learning in Robotics
- Towards Neural-Guided Program Synthesis for Linear Temporal Logic Specifications
2019/12/31 by Sheila A. McIlraith, Camacho, Alberto, McIlraith, Sheila A. · 1 citation
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Neural and Evolutionary Computing (cs.NE)