5 citations · 5 across the 5 of their papers we have counts for
5 papers
MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
Jinzheng Li, Zeru Zhu, Yuanjie Ren
MerLean-Prover is an end-to-end Lean4 theorem prover that replaces sorry declarations with kernel-checkable proofs. It is built from three agent types (Planning, Check, and Lean) c…
Caching Scalable Videos in the Edge of Wireless Cellular Networks
Xuewei Zhang, Yuan Ren, Tiejun Lv +1
By pre-fetching popular videos into the local caches of edge nodes, wireless edge caching provides an effective means of reducing repeated content deliveries. To meet the various v…
Analysis and Optimization of Service Delay for Multi-quality Videos in Multi-tier Heterogeneous Network with Random Caching
Xuewei Zhang, Tiejun Lv, Yuan Ren +2
Aiming to minimize service delay, we propose a new random caching scheme in device-to-device (D2D)-assisted heterogeneous network. To support diversified viewing qualities of multi…
Economical Caching for Scalable Videos in Cache-enabled Heterogeneous Networks
Xuewei Zhang, Tiejun Lv, Yuan Ren +3
We develop the optimal economical caching schemes in cache-enabled heterogeneous networks, while delivering multimedia video services with personalized viewing qualities to mobile…
Distributed User Scheduling for MIMO-Y Channel
Hui Gao, Chau Yuen, Yuan Ren +2
In this paper, distributed user scheduling schemes are proposed for the multi-user MIMO-Y channel, where three -antenna users () are selected from three clust…