1 code implementation • 5 May 2023 • HANLIN ZHANG, Jiani Huang, Ziyang Li, Mayur Naik, Eric Xing
We propose DSR-LM, a Differentiable Symbolic Reasoning framework where pre-trained LMs govern the perception of factual knowledge, and a symbolic module performs deductive reasoning.
no code implementations • 15 Apr 2023 • Jiani Huang, Ziyang Li, Mayur Naik, Ser-Nam Lim
We propose LASER, a neuro-symbolic approach to learn semantic video representations that capture rich spatial and temporal properties in video data by leveraging high-level logic specifications.
no code implementations • 10 Apr 2023 • Ziyang Li, Jiani Huang, Mayur Naik
We present Scallop, a language which combines the benefits of deep learning and logical reasoning.
1 code implementation • 14 Mar 2022 • Xin Fan, Zi Li, Ziyang Li, Xiaolin Wang, Risheng Liu, Zhongxuan Luo, Hao Huang
Deformable image registration plays a critical role in various tasks of medical image analysis.
no code implementations • NeurIPS 2021 • Jiani Huang, Ziyang Li, Binghong Chen, Karan Samel, Mayur Naik, Le Song, Xujie Si
Deep learning and symbolic reasoning are complementary techniques for an intelligent system.
1 code implementation • 9 Oct 2021 • Shiyu Huang, Wenze Chen, Longfei Zhang, Shizhen Xu, Ziyang Li, Fengming Zhu, Deheng Ye, Ting Chen, Jun Zhu
To the best of our knowledge, Tikick is the first learning-based AI system that can take over the multi-agent Google Research Football full game, while previous work could either control a single agent or experiment on toy academic scenarios.
no code implementations • NeurIPS Workshop DBAI 2021 • Jiani Huang, Ziyang Li, Ilias Fountalis, Mayur Naik
Numerical reasoning over text requires deep integration between the semantic understanding of the natural language context and the mathematical calculation of the symbolic terms.
1 code implementation • ICLR 2020 • Elizabeth Dinella, Hanjun Dai, Ziyang Li, Mayur Naik, Le Song, Ke Wang
We present a learning-based approach to detect and fix a broad range of bugs in Javascript programs.
no code implementations • 11 Oct 2019 • Tianshuo Zhou, Ziyang Li, Gong Cheng, Jun Wang, Yu'Ang Wei
The model applies to meta-path based relevance where a meta-path characterizes a particular type of semantics of relating the query entity to answer entities.
no code implementations • ECCV 2018 • Yonggen Ling, Linchao Bao, Zequn Jie, Fengming Zhu, Ziyang Li, Shanmin Tang, Yongsheng Liu, Wei Liu, Tong Zhang
Our approach is able to handle the rolling-shutter effects and imperfect sensor synchronization in a unified way.