Ziyang Li

8 papers at tracked venues · 8 at CORE A* · active 2024–2025

DBLP profile ↗ORCID search ↗

Venues

ICLR ×2 NeurIPS ×2 AAAI ×1 FSE ×1 ICML ×1 USENIX Security ×1

Frequent coauthors

Mayur Naik

×7

Neelay Velingker

×4

Jiani Huang

×3

Rajeev Alur

×3

Mayank Keoliya

×2

Ser-Nam Lim

×2

Eric Wong

×2

Amish Sethi

×1

Matthew Kuo

×1

JungHo Jung

×1

Saikat Dutta

×1

Xi Zheng

×1

Papers

ESCA: Contextualizing Embodied Agents via Scene-Graph Generation
NeurIPS 2025 ·
Jiani Huang
,
Amish Sethi
,
Matthew Kuo
,
Mayank Keoliya
,
Neelay Velingker
,
JungHo Jung
,
Ser Nam Lim
, Ziyang Li,
Mayur Naik
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
ICLR 2025 · Ziyang Li,
Saikat Dutta
,
Mayur Naik
LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision
ICLR 2025 ·
Jiani Huang
, Ziyang Li,
Mayur Naik
,
Ser-Nam Lim
NeuroStrata: Harnessing Neuro-Symbolic Paradigms for Improved Testability and Verifiability of Autonomous CPS
FSE 2025 ·
Xi Zheng
, Ziyang Li,
Ivan Ruchkin
,
Ruzica Piskac
,
Miroslav Pajic
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
ICML 2024 ·
Yinjun Wu
,
Mayank Keoliya
,
Kan Chen
,
Neelay Velingker
, Ziyang Li,
Emily J. Getzen
,
Qi Long
,
Mayur Naik
,
Ravi B. Parikh
,
Eric Wong
Data-Efficient Learning with Neural Programs
NeurIPS 2024 ·
Alaia Solko-Breslin
,
Seewon Choi
, Ziyang Li,
Neelay Velingker
,
Rajeev Alur
,
Mayur Naik
,
Eric Wong
Relational Programming with Foundational Models
AAAI 2024 · Ziyang Li,
Jiani Huang
,
Jason Liu
,
Felix Zhu
,
Eric Zhao
,
William Dodds
,
Neelay Velingker
,
Rajeev Alur
,
Mayur Naik
TYGR: Type Inference on Stripped Binaries using Graph Neural Networks
USENIX Security 2024 ·
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