Ziyang Li

27 papers A* 9A 1Journal 14Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming.
ASPLOS (1)
Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik
2025 J jnl
ESCA: Contextualizing Embodied Agents via Scene-Graph Generation.
CoRR
Jiani Huang, Amish Sethi, Matthew Kuo, Mayank Keoliya, Neelay Velingker, JungHo Jung, Ser-Nam Lim, Ziyang Li, Mayur Naik
2025 A* conf
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.
ICLR
Ziyang Li, Saikat Dutta, Mayur Naik
2025 A* conf
LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision.
ICLR
Jiani Huang, Ziyang Li, Mayur Naik, Ser-Nam Lim
2025 J jnl
Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming.
CoRR
Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik
2025 — conf
NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS.
SIGSOFT FSE Companion
Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
2025 J jnl
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS.
CoRR
Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic
2025 J jnl
QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities.
CoRR
Claire Wang, Ziyang Li, Saikat Dutta, Mayur Naik
2025 A conf
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.
ICST
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
2024 A* conf
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation.
ICML
Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
2024 J jnl
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation.
CoRR
Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong
2024 A* conf
Data-Efficient Learning with Neural Programs.
NeurIPS
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
2024 J jnl
Data-Efficient Learning with Neural Programs.
CoRR
Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong
2024 J jnl
LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.
CoRR
Ziyang Li, Saikat Dutta, Mayur Naik
2024 J jnl
Neurosymbolic Programming in Scallop: Principles and Practice.
Found. Trends Program. Lang.
Ziyang Li, Jiani Huang, Jason Liu, Mayur Naik
2024 J jnl
Relational Programming with Foundation Models.
CoRR
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
2024 A* conf
Relational Programming with Foundational Models.
AAAI
Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik
2024 A* conf
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks.
USENIX Security Symposium
Chang Zhu, Ziyang Li, Anton Xue, Ati Priya Bajaj, Wil Gibbs, Yibo Liu, Rajeev Alur, Tiffany Bao, Hanjun Dai, Adam Doupé, Mayur Naik, Yan Shoshitaishvili, Ruoyu Wang, Aravind Machiry
2023 — conf
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming.
ACL (Findings)
Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing
2023 J jnl
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming.
CoRR
Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing
2023 J jnl
LASER: Neuro-Symbolic Learning of Semantic Video Representations.
CoRR
Jiani Huang, Ziyang Li, David Jacobs, Mayur Naik, Ser-Nam Lim
2023 J jnl
Scallop: A Language for Neurosymbolic Programming.
CoRR
Ziyang Li, Jiani Huang, Mayur Naik
2023 J jnl
Scallop: A Language for Neurosymbolic Programming.
Proc. ACM Program. Lang.
Ziyang Li, Jiani Huang, Mayur Naik
2023 J jnl
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.
CoRR
Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik
2021 A* conf
ARBITRAR: User-Guided API Misuse Detection.
SP
Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song
2021 A* conf
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning.
NeurIPS
Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
2020 A* conf
Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs.
ICLR
Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang