Alur, Rajeev

15 publications

NeurIPS 2025 CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning Seewon Choi, Alaia Solko-Breslin, Rajeev Alur, Eric Wong

TMLR 2025 Illustrated Landmark Graphs for Long-Horizon Policy Learning Christopher Watson, Arjun Krishna, Rajeev Alur, Dinesh Jayaraman

ICLR 2025 Logicbreaks: A Framework for Understanding Subversion of Rule-Based Inference Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong

NeurIPS 2024 Data-Efficient Learning with Neural Programs Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong

NeurIPSW 2024 Logicbreaks: A Framework for Understanding Subversion of Rule-Based Inference Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong

NeurIPSW 2024 Logicbreaks: A Framework for Understanding Subversion of Rule-Based Inference Anton Xue, Avishree Khare, Rajeev Alur, Surbhi Goel, Eric Wong

AAAI 2024 Relational Programming with Foundational Models Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik

ICML 2023 Robust Subtask Learning for Compositional Generalization Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur

NeurIPS 2023 Stability Guarantees for Feature Attributions with Multiplicative Smoothing Anton Xue, Rajeev Alur, Eric Wong

NeurIPSW 2023 Stability Guarantees for Feature Attributions with Multiplicative Smoothing Anton Xue, Rajeev Alur, Eric Wong

NeurIPSW 2022 Robust Option Learning for Compositional Generalization Kishor Jothimurugan, Steve Hsu, Osbert Bastani, Rajeev Alur

AISTATS 2021 Abstract Value Iteration for Hierarchical Reinforcement Learning Kishor Jothimurugan, Osbert Bastani, Rajeev Alur

NeurIPS 2021 Compositional Reinforcement Learning from Logical Specifications Kishor Jothimurugan, Suguman Bansal, Osbert Bastani, Rajeev Alur

NeurIPS 2019 A Composable Specification Language for Reinforcement Learning Tasks Kishor Jothimurugan, Rajeev Alur, Osbert Bastani

IJCAI 2013 Automated Grading of DFA Constructions Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan