Seguir
Ziyang Li
Título
Citado por
Citado por
Ano
Hoppity: Learning graph transformations to detect and fix bugs in programs
E Dinella, H Dai, Z Li, M Naik, L Song, K Wang
International conference on learning representations (ICLR), 2020
2422020
Scallop: From probabilistic deductive databases to scalable differentiable reasoning
J Huang*, Z Li*, B Chen, K Samel, M Naik, L Song, X Si
Advances in Neural Information Processing Systems 34, 25134-25145, 2021
652021
Improved logical reasoning of language models via differentiable symbolic programming
H Zhang, J Huang, Z Li, M Naik, E Xing
arXiv preprint arXiv:2305.03742, 2023
232023
Arbitrar: User-guided api misuse detection
Z Li, A Machiry, B Chen, M Naik, K Wang, L Song
2021 IEEE Symposium on Security and Privacy (SP), 1400-1415, 2021
232021
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
212023
Scallop: A language for neurosymbolic programming
Z Li, J Huang, M Naik
Proceedings of the ACM on Programming Languages 7 (PLDI), 1463-1487, 2023
172023
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
32024
Laser: Neuro-symbolic learning of semantic video representations
J Huang, Z Li, D Jacobs, M Naik, SN Lim
arXiv preprint arXiv:2304.07647, 2023
32023
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
Y Wu, M Keoliya, K Chen, N Velingker, Z Li, EJ Getzen, Q Long, M Naik, ...
arXiv preprint arXiv:2406.00611, 2024
12024
LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
Z Li, S Dutta, M Naik
arXiv preprint arXiv:2405.17238, 2024
12024
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
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks
C Zhu*, Z Li*, A Xue, AP Bajaj, W Gibbs, Y Liu, R Alur, T Bao, H Dai, ...
USENIX, 2024
2024
Numerical Reasoning over Legal Contracts via Relational Database
J Huang, Z Li, I Fountalis, M Naik
Workshop on Databases and AI, 0
Beyond Differentiability: Neurosymbolic Learning with Black-Box Programs
A Solko-Breslin, Z Li, N Velingker, R Alur, M Naik
O sistema não pode executar a operação agora. Tente novamente mais tarde.
Artigos 1–14