2 papers
cs.IT2026
Aligning Information Theory and Formal Verification: A Lean Formalization of Rate-Distortion Theory
Fubin Yan, Ruxuan Dong, Ruoxuan Shi +2
Large language models have recently demonstrated an ability to generate substantial mathematical proofs and formalizations, including machine-checked arguments for major open probl…
cs.CV2026
ABO-Med: Accelerated Bilevel Optimization for Few-Shot Medical Image Classification
Ruoxuan Shi, Sheng Yang, Zhengxing Su +2
In recent years, bilevel optimization has been widely used in a variety of machine learning tasks. However, prior bilevel optimization algorithms generally require the computation…