Ziyang Li
10 papers · 2018–2025 · 7 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (21) π£ Hot Topic Early Bird π Conference Polyglot Β· Silver π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Bronze
π
Grand Slam
π
Conference Pioneer
π
Century Club Β· Bronze
Top co-authors
Research topics
Keywords
large language model
(2)
deductive reasoning
(2)
logical reasoning
(1)
in-context learning
(1)
knowledge representation
(1)
text generation
(1)
code generation
(1)
differentiable programming
(1)
program synthesis
(1)
narrative understanding
(1)
scene graph
(1)
weak supervision
(1)
neural network optimization
(1)
knowledge base
(1)
gradient estimation
(1)
multimodal learning
(1)
probabilistic reasoning
(1)
static analysis
(1)
rule learning
(1)
visual question answering
(1)
Papers
IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
ICLR 2025
LASER: A Neuro-Symbolic Framework for Learning Spatio-Temporal Scene Graphs with Weak Supervision
ICLR 2025
TurnaboutLLM: A Deductive Reasoning Benchmark from Detective Games
EMNLP 2025
Data-Efficient Learning with Neural Programs
NeurIPS 2024
DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
ICML 2024
Relational Programming with Foundational Models
AAAI 2024
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
ACL 2023
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning
NeurIPS 2021
HOPPITY: LEARNING GRAPH TRANSFORMATIONS TO DETECT AND FIX BUGS IN PROGRAMS
ICLR 2020
Modeling Varying Camera-IMU Time Offset in Optimization-Based Visual-Inertial Odometry
ECCV 2018