Yao Li

DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learning

Daya Guo, Dejian Yang, Haowei Zhang et al. · Nature · 2025 · 568 citations · Full text

Computing, Computer Science, Artificial Intelligence +16

Conditional symbolic modified signed-digit arithmetic using optical content-addressable memory logic elements

Yao Li, George Eichmann · Applied Optics · 1987 · 115 citations

Engineering, Computer Engineering, Computer Science +15

Performance Petri net analysis of communications protocol software by delay-equivalent aggregation

C.M. Woodside, Yao Li · 2002 · 78 citations

Computing, Computer Science, Computer Systems +17

TDUP: an approach to incremental mining of frequent itemsets with three-way-decision pattern updating

Yao Li, Zhiheng Zhang, Wenbin Chen et al. · International Journal of Machine Learning and Cybernetics · 2015 · 48 citations

Computing, Computer Science, Information Systems +9

From C to interaction trees: specifying, verifying, and testing a networked server

Nicolas Koh, Yao Li, Yishuai Li et al. · 2019 · 47 citations · Full text

Computing, Computer Science, Computer Systems +17