Li, Ziyang

13 publications

NeurIPS 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

ICLR 2025 IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities Ziyang Li, Saikat Dutta, Mayur Naik

ICLR 2025 LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision Jiani Huang, Ziyang Li, Mayur Naik, Ser-Nam Lim

ICLRW 2025 Tasks, Challenges, and Paths Towards AI for Software Engineering Alex Gu, Naman Jain, Wen-Ding Li, Manish Shetty, Yijia Shao, Ziyang Li, Diyi Yang, Koushik Sen, Kevin Ellis, Armando Solar-Lezama

ICML 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

NeurIPS 2024 Data-Efficient Learning with Neural Programs Alaia Solko-Breslin, Seewon Choi, Ziyang Li, Neelay Velingker, Rajeev Alur, Mayur Naik, Eric Wong

AAAI 2024 Relational Programming with Foundational Models Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao, William Dodds, Neelay Velingker, Rajeev Alur, Mayur Naik

ICMLW 2022 Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming Hanlin Zhang, Ziyang Li, Jiani Huang, Mayur Naik, Eric Xing

NeurIPSW 2021 Numerical Reasoning over Legal Contracts via Relational Database Jiani Huang, Ziyang Li, Ilias Fountalis, Mayur Naik

NeurIPS 2021 Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si

NeurIPSW 2021 Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si

ICLR 2020 Hoppity: Learning Graph Transformations to Detect and Fix Bugs in Programs Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang

ECCV 2018 Modeling Varying Camera-IMU Time Offset in Optimization-Based Visual-Inertial Odometry Yonggen Ling, Linchao Bao, Zequn Jie, Fengming Zhu, Ziyang Li, Shanmin Tang, Yongsheng Liu, Wei Liu, Tong Zhang