26 citations · 28 across the 4 of their papers we have counts for
4 papers
Smoothed Analysis of Inconsistent A*
Zhiyang Chen, Hailong Yao
The A* search is a fundamental path-finding algorithm in artificial intelligence. While admissible and consistent heuristics guarantee efficient performance by expanding each state…
Minimum-Cost Network Flow with Dual Predictions
Zhiyang Chen, Hailong Yao, Xia Yin
Recent work has shown that machine-learned predictions can provably improve the performance of classic algorithms. In this work, we propose the first minimum-cost network flow algo…
Mr.TPL: A Method for Multi-Pin Net Router in Triple Patterning Lithography
Chengkai Wang, Weiqing Ji, Mingyang Kou +3
Triple patterning lithography (TPL) has been recognized as one of the most promising solutions to print critical features in advanced technology nodes. A critical challenge within…
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
In decentralized finance (DeFi), lenders can offer flash loans to borrowers, i.e., loans that are only valid within a blockchain transaction and must be repaid with fees by the end…