Ziyang Li

According to our database, Ziyang Li authored at least 21 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming.

Paul Biberstein, Ziyang Li, Joseph Devietti, Mayur Naik

Proceedings of the 31st ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2026

2025

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities.

Claire Wang, Ziyang Li, Saikat Dutta, Mayur Naik

CoRR, November, 2025

ESCA: Contextualizing Embodied Agents via Scene-Graph Generation.

Jiani Huang, Amish Sethi, Matthew Kuo, Mayank Keoliya, Neelay Velingker, JungHo Jung, Ser-Nam Lim, Ziyang Li, Mayur Naik

CoRR, October, 2025

NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS.

Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic

CoRR, February, 2025

NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS.

Xi Zheng, Ziyang Li, Ivan Ruchkin, Ruzica Piskac, Miroslav Pajic

Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities.

Avishree Khare, Saikat Dutta, Ziyang Li, Alaia Solko-Breslin, Rajeev Alur, Mayur Naik

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2025

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

Ziyang Li, Saikat Dutta, Mayur Naik

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision.

Jiani Huang, Ziyang Li, Mayur Naik, Ser-Nam Lim

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Neurosymbolic Programming in Scallop: Principles and Practice.

Ziyang Li, Jiani Huang, Jason Liu, Mayur Naik

Found. Trends Program. Lang., 2024

Relational Programming with Foundation Models.

Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik

CoRR, 2024

LLM-Assisted Static Analysis for Detecting Security Vulnerabilities.

Ziyang Li, Saikat Dutta, Mayur Naik

CoRR, 2024

TYGR: Type Inference on Stripped Binaries using Graph Neural Networks.

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

Proceedings of the 33rd USENIX Security Symposium, 2024

Data-Efficient Learning with Neural Programs.

Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation.

Yinjun Wu, Mayank Keoliya, Kan Chen, Neelay Velingker, Ziyang Li, Emily J. Getzen, Qi Long, Mayur Naik, Ravi B. Parikh, Eric Wong

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Relational Programming with Foundational Models.

Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Scallop: A Language for Neurosymbolic Programming.

Ziyang Li, Jiani Huang, Mayur Naik

Proc. ACM Program. Lang., 2023

LASER: Neuro-Symbolic Learning of Semantic Video Representations.

Jiani Huang, Ziyang Li, David Jacobs, Mayur Naik, Ser-Nam Lim

CoRR, 2023

Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming.

Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric P. Xing

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

2021

ARBITRAR: User-Guided API Misuse Detection.

Ziyang Li, Aravind Machiry, Binghong Chen, Mayur Naik, Ke Wang, Le Song

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning.

Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

2020

Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs.

Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang

Proceedings of the 8th International Conference on Learning Representations, 2020