Alert button
Picture for Ziyang Li

Ziyang Li

Alert button

Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming

May 05, 2023
Hanlin Zhang, Jiani Huang, Ziyang Li, Mayur Naik, Eric Xing

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

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

Figure 1 for LASER: Neuro-Symbolic Learning of Semantic Video Representations
Figure 2 for LASER: Neuro-Symbolic Learning of Semantic Video Representations
Figure 3 for LASER: Neuro-Symbolic Learning of Semantic Video Representations
Figure 4 for LASER: Neuro-Symbolic Learning of Semantic Video Representations
Viaarxiv icon

Scallop: A Language for Neurosymbolic Programming

Apr 10, 2023
Ziyang Li, Jiani Huang, Mayur Naik

Figure 1 for Scallop: A Language for Neurosymbolic Programming
Figure 2 for Scallop: A Language for Neurosymbolic Programming
Figure 3 for Scallop: A Language for Neurosymbolic Programming
Figure 4 for Scallop: A Language for Neurosymbolic Programming
Viaarxiv icon

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

Mar 14, 2022
Zi Li, Ziyang Li, Risheng Liu, Zhongxuan Luo, Xin Fan

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

TiKick: Towards Playing Multi-agent Football Full Games from Single-agent Demonstrations

Oct 19, 2021
Shiyu Huang, Wenze Chen, Longfei Zhang, Ziyang Li, Fengming Zhu, Deheng Ye, Ting Chen, Jun Zhu

Figure 1 for TiKick: Towards Playing Multi-agent Football Full Games from Single-agent Demonstrations
Figure 2 for TiKick: Towards Playing Multi-agent Football Full Games from Single-agent Demonstrations
Figure 3 for TiKick: Towards Playing Multi-agent Football Full Games from Single-agent Demonstrations
Figure 4 for TiKick: Towards Playing Multi-agent Football Full Games from Single-agent Demonstrations
Viaarxiv icon

TiKick: Toward Playing Multi-agent Football Full Games from Single-agent Demonstrations

Oct 12, 2021
Shiyu Huang, Wenze Chen, Longfei Zhang, Ziyang Li, Fengming Zhu, Deheng Ye, Ting Chen, Jun Zhu

Figure 1 for TiKick: Toward Playing Multi-agent Football Full Games from Single-agent Demonstrations
Figure 2 for TiKick: Toward Playing Multi-agent Football Full Games from Single-agent Demonstrations
Figure 3 for TiKick: Toward Playing Multi-agent Football Full Games from Single-agent Demonstrations
Figure 4 for TiKick: Toward Playing Multi-agent Football Full Games from Single-agent Demonstrations
Viaarxiv icon

Modeling Varying Camera-IMU Time Offset in Optimization-Based Visual-Inertial Odometry

Oct 12, 2018
Yonggen Ling, Linchao Bao, Zequn Jie, Fengming Zhu, Ziyang Li, Shanmin Tang, Yongsheng Liu, Wei Liu, Tong Zhang

Figure 1 for Modeling Varying Camera-IMU Time Offset in Optimization-Based Visual-Inertial Odometry
Figure 2 for Modeling Varying Camera-IMU Time Offset in Optimization-Based Visual-Inertial Odometry
Figure 3 for Modeling Varying Camera-IMU Time Offset in Optimization-Based Visual-Inertial Odometry
Figure 4 for Modeling Varying Camera-IMU Time Offset in Optimization-Based Visual-Inertial Odometry
Viaarxiv icon