From the 1 of 7 linked papers with an AI index.
7 papers
A Two-step Krasnosel'skii-Mann Algorithm with Adaptive Momentum and Its Applications to Image Denoising and Matrix Completion
Yongxin He, Jingyuan Li, Yizun Lin +1
The paper introduces a two-step Krasnosel'skii‑Mann algorithm with adaptive momentum for solving convex optimization problems, and demonstrates its effectiveness on image denoising…
A Kernel-Clean Lean Mechanization of Classical Lottery in Action and the Wakker--Debreu--Koopmans Representation Layer
Jingyuan Li, Ilia Tsetlin, Fan Wang
We present a Lean 4/Mathlib formalization of the additive representation theory behind Classical Lottery in Action and the Wakker-Debreu-Koopmans (WDK) layer it relies on. Our cent…
Online Coreset Selection for Learning Dynamic Systems
Jingyuan Li, Dawei Shi, Ling Shi
With the increasing availability of streaming data in dynamic systems, a critical challenge in data-driven modeling for control is how to efficiently select informative data to cha…
STELLAR-koff: A Transfer Learning Model for Protein-Ligand Dissociation Rate Constant Prediction Based on Interaction Landscape
Jingyuan Li
The key to successful drug design lies in the correct comprehension of protein-ligand interactions. Within the current knowledge paragm, these interactions can be described from bo…
Incentivizing Consistent, Effective and Scalable Reasoning Capability in Audio LLMs via Reasoning Process Rewards
Jiajun Fan, Roger Ren, Jingyuan Li +6
The role of reasoning in Audio Large Language Models remains widely underexplored, as introducing a reasoning process often degrades rather than improves performance during inferen…
Quantifying Bounded Rationality: Formal Verification of Simon's Satisficing Through Flexible Stochastic Dominance
Jingyuan Li, Zhou Lin
This paper introduces Flexible First-Order Stochastic Dominance (FFSD), a mathematically rigorous framework that formalizes Herbert Simon's concept of bounded rationality using the…