46 citations · 48 across the 3 of their papers we have counts for
3 papers
cs.PL2024
SAT-DIFF: A Tree Diffing Framework Using SAT Solving
Chuqin Geng, Haolin Ye, Yihan Zhang +2
Computing differences between tree-structured data is a critical but challenging problem in software analysis. In this paper, we propose a novel tree diffing approach called SatDif…
cs.LG2023★ 2 cited
Can Decentralized Stochastic Minimax Optimization Algorithms Converge Linearly for Finite-Sum Nonconvex-Nonconcave Problems?
Yihan Zhang, Wenhao Jiang, Feng Zheng +3
Decentralized minimax optimization has been actively studied in the past few years due to its application in a wide range of machine learning models. However, the current theoretic…
eess.SP2022★ 46 cited
Environment Sensing Considering the Occlusion Effect: A Multi-View Approach
Xin Tong, Zhaoyang Zhang, Yihan Zhang +4
In this paper, we consider the problem of sensing the environment within a wireless cellular framework. Specifically, multiple user equipments (UEs) send sounding signals to one or…