Folgen
Ziyang Li
Ziyang Li
University of Pennsylvania
Bestätigte E-Mail-Adresse bei seas.upenn.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
2602020
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
812021
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
382023
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
322023
Scallop: A language for neurosymbolic programming
Z Li, J Huang, M Naik
Proceedings of the ACM on Programming Languages 7 (PLDI), 1463-1487, 2023
312023
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
292021
LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
Z Li, S Dutta, M Naik
arXiv preprint arXiv:2405.17238, 2024
192024
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
72024
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
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
22024
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
22024
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks
Z Li*, C Zhu*, A Xue, AP Bajaj, W Gibbs, Y Liu, R Alur, T Bao, H Dai, ...
33rd USENIX Security, 2024
1*2024
LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
J Huang, Z Li, M Naik, SN Lim
arXiv preprint arXiv:2304.07647, 2023
12023
Advances in RNA secondary structure prediction and RNA modifications: Methods, data, and applications
S Yang, N Truong Pham, Z Li, J Young Baik, J Lee, T Zhai, W Yu, B Hou, ...
arXiv preprint arXiv:2501.04056, 2025
2025
Neurosymbolic Programming in Scallop: Principles and Practice
Z Li, J Huang, J Liu, M Naik
Foundations and Trends® in Programming Languages 8 (2), 118-249, 2024
2024
Crowd-sourced machine learning prediction of long COVID using data from the National COVID Cohort Collaborative
T Bergquist, J Loomba, E Pfaff, F Xia, Z Zhao, Y Zhu, E Mitchell, ...
eBioMedicine 108, 105333, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18