Publications (27)
Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases
Marcus J. Min, Mike He, Zhaoyu Li +5
The paper proposes shifting autoformalization from isolated statements to theory-level, aiming to automatically translate whole bodies of mathematical knowledge—including axioms, d…
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
Zhaoyu Li, Xujie Si
Unveiling a young thick disk in the Milky Way
Jianhui Lian, Min Du, Shuai Lu +5
The Jiao Tong University Spectroscopic Telescope Project
JUST Team, Chengze Liu, Ying Zu +28
Overview of Cross-Component In-loop Filters in Video Coding Standards
Zhaoyu Li, Xuewei Meng, Jiaqi Zhang +4
The paper reviews cross-component in-loop filters used in modern video coding standards, describing how they exploit luma‑chroma correlations to improve chroma quality and reduce c…
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
Bowen Li, Zhaoyu Li, Qiwei Du +10
A Survey on Deep Learning for Theorem Proving
Zhaoyu Li, Jialiang Sun, Logan Murphy +5
A Monolithic Graphene-Functionalized Microlaser for Multispecies Gas Detection
Yanhong Guo, Zhaoyu Li, Ning An +10
Multimodal Emotion-Cause Pair Extraction in Conversations
Fanfan Wang, Zixiang Ding, Rui Xia +2
On the Migration Origin of the Hercules Moving Group with GAIA, LAMOST, APOGEE, and GALAH Surveys
Xilong Liang, Suk-Jin Yoon, Jingkun Zhao +3
Parallelizing Probabilistic Inference: Some Early Explorations
Bruce D'Ambrosio, Tony Fountain, Zhaoyu Li
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
Zenan Li, Yifan Wu, Zhaoyu Li +4
Dynamic Backtracking in GFlowNets: Enhancing Decision Steps with Reward-Dependent Adjustment Mechanisms
Shuai Guo, Jielei Chu, Lin Ma +2
Autoformalizing Euclidean Geometry
Logan Murphy, Kaiyu Yang, Jialiang Sun +3
DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent
Youyuan Zhang, Jialiang Sun, Hangrui Bi +4
Variational Bayesian Personalized Ranking
Bin Liu, Xiaohong Liu, Qin Luo +7
Graph Contrastive Pre-training for Effective Theorem Reasoning
Zhaoyu Li, Binghong Chen, Xujie Si
Learning to Disprove: Formal Counterexample Generation with Large Language Models
Zenan Li, Zhaoyu Li, Kaiyu Yang +2
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Zenan Li, Zhaoyu Li, Wen Tang +6
Dynamical Origin for the Collinder 132-Gulliver 21 Stream: A Mixture of three Co-Moving Populations with an Age Difference of 250 Myr
Xiaoying Pang, Yuqian Li, Shih-Yun Tang +6
Learning Reliable Logical Rules with SATNet
Zhaoyu Li, Jinpei Guo, Yuhe Jiang +1
Decoupling Training-Free Guided Diffusion by ADMM
Youyuan Zhang, Zehua Liu, Zenan Li +3
Insight into the Galactic Bulge Chemodynamical Properties from Gaia DR3
Xiaojie Liao, Zhaoyu Li, Iulia Simion +4
An efficient approach for finding the MPE in belief networks
Zhaoyu Li, Bruce D'Ambrosio
G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks
Zhaoyu Li, Jinpei Guo, Xujie Si
Neuro-symbolic Learning Yielding Logical Constraints
Zenan Li, Yunpeng Huang, Zhaoyu Li +5
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
Honghua Dong, Qidong Su, Yubo Gao +5