Picture for Ziyang Li

Ziyang Li

Challenges and Paths Towards AI for Software Engineering

Add code
Mar 28, 2025
Viaarxiv icon

Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming

Add code
Mar 27, 2025
Viaarxiv icon

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

Add code
Feb 17, 2025
Viaarxiv icon

Relational Programming with Foundation Models

Add code
Dec 19, 2024
Viaarxiv icon

Data-Efficient Learning with Neural Programs

Add code
Jun 10, 2024
Figure 1 for Data-Efficient Learning with Neural Programs
Figure 2 for Data-Efficient Learning with Neural Programs
Figure 3 for Data-Efficient Learning with Neural Programs
Figure 4 for Data-Efficient Learning with Neural Programs
Viaarxiv icon

DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation

Add code
Jun 02, 2024
Figure 1 for DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
Figure 2 for DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
Figure 3 for DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
Figure 4 for DISCRET: Synthesizing Faithful Explanations For Treatment Effect Estimation
Viaarxiv icon

Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming

Add code
May 05, 2023
Figure 1 for Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
Figure 2 for Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
Figure 3 for Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
Figure 4 for Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming
Viaarxiv icon

LASER: Neuro-Symbolic Learning of Semantic Video Representations

Add code
Apr 15, 2023
Viaarxiv icon

Scallop: A Language for Neurosymbolic Programming

Add code
Apr 10, 2023
Viaarxiv icon

Automated Learning for Deformable Medical Image Registration by Jointly Optimizing Network Architectures and Objective Functions

Add code
Mar 14, 2022
Figure 1 for Automated Learning for Deformable Medical Image Registration by Jointly Optimizing Network Architectures and Objective Functions
Figure 2 for Automated Learning for Deformable Medical Image Registration by Jointly Optimizing Network Architectures and Objective Functions
Figure 3 for Automated Learning for Deformable Medical Image Registration by Jointly Optimizing Network Architectures and Objective Functions
Figure 4 for Automated Learning for Deformable Medical Image Registration by Jointly Optimizing Network Architectures and Objective Functions
Viaarxiv icon