关注
Rajeev Alur
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
在 seas.upenn.edu 的电子邮件经过验证 - 首页
标题
引用次数
年份
Data-Efficient Learning with Neural Programs
A Solko-Breslin, S Choi, Z Li, N Velingker, R Alur, M Naik, E Wong
arXiv preprint arXiv:2406.06246, 2024
2024
Relational Programming with Foundational Models
Z Li, J Huang, J Liu, F Zhu, E Zhao, W Dodds, N Velingker, R Alur, M Naik
Proceedings of the AAAI Conference on Artificial Intelligence 38 (9), 10635 …, 2024
2024
Chordal sparsity for SDP-based neural network verification
A Xue, L Lindemann, R Alur
Automatica 161, 111487, 2024
12024
Stability guarantees for feature attributions with multiplicative smoothing
A Xue, R Alur, E Wong
Advances in Neural Information Processing Systems 36, 2024
22024
{MuCache}: A General Framework for Caching in Microservice Graphs
H Zhang, K Kallas, S Pavlatos, R Alur, S Angel, V Liu
21st USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2024
2024
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
A Khare, S Dutta, Z Li, A Solko-Breslin, R Alur, M Naik
arXiv preprint arXiv:2311.16169, 2023
152023
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
A Thakkar, N Sands, G Petrou, R Alur, M Naik, M Raghothaman
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1394-1417, 2023
2023
Beyond Differentiability: Neurosymbolic Learning with Black-Box Programs
A Solko-Breslin, Z Li, N Velingker, R Alur, M Naik
2023
Relational Query Synthesis⋈ Decision Tree Learning
A Naik, A Thakkar, A Stein, R Alur, M Naik
Proceedings of the VLDB Endowment 17 (2), 250-263, 2023
2023
Policy synthesis and reinforcement learning for discounted LTL
R Alur, O Bastani, K Jothimurugan, M Perez, F Somenzi, A Trivedi
International Conference on Computer Aided Verification, 415-435, 2023
82023
Robust subtask learning for compositional generalization
K Jothimurugan, S Hsu, O Bastani, R Alur
International Conference on Machine Learning, 15371-15387, 2023
32023
Executing microservice applications on serverless, correctly
K Kallas, H Zhang, R Alur, S Angel, V Liu
Proceedings of the ACM on Programming Languages 7 (POPL), 367-395, 2023
72023
A robust theory of series parallel graphs
R Alur, C Stanford, C Watson
Proceedings of the ACM on Programming Languages 7 (POPL), 1058-1088, 2023
12023
Regular Transformations (Dagstuhl Seminar 23202)
R Alur, M Bojańczyk, E Filiot, A Muscholl, S Winter
Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2023
12023
TFQP1: Specification-Guided Reinforcement Learning
R Alur, S Bansal, O Bastani, K Jothimurugan
2023
Specification-Guided Reinforcement Learning
R Alur, S Bansal, O Bastani, K Jothimurugan
32023
A framework for transforming specifications in reinforcement learning
R Alur, S Bansal, O Bastani, K Jothimurugan
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022
262022
Robust Option Learning for Compositional Generalization
K Jothimurugan, S Hsu, O Bastani, R Alur
Deep Reinforcement Learning Workshop NeurIPS 2022, 2022
12022
Chordal sparsity for lipschitz constant estimation of deep neural networks
A Xue, L Lindemann, A Robey, H Hassani, GJ Pappas, R Alur
2022 IEEE 61st Conference on Decision and Control (CDC), 3389-3396, 2022
162022
Robust Option Learning for Adversarial Generalization
K Jothimurugan, S Hsu, O Bastani, R Alur
2022
系统目前无法执行此操作,请稍后再试。
文章 1–20