ML Anthology
Authors
Search
About
Li, Yuxin
11 publications
ICLR
2026
Lean4Physics: Comprehensive Reasoning Framework for College-Level Physics in Lean4
Yuxin Li
,
Minghao Liu
,
Ruida Wang
,
Ji WenZhao
,
Zhitao He
,
Rui Pan
,
Junming Huang
,
Tong Zhang
,
Yi R. Fung
MIDL
2026
Topological-Aware Regularization for Semi-Supervised Intracranial Aneurysm Vessel Segmentation
Feiyang Xiao
,
Yichi Zhang
,
Xigui Li
,
Yuanye Zhou
,
Chen Jiang
,
Xin Guo
,
Limei Han
,
Yuxin Li
,
Fengping Zhu
,
Yuan Cheng
CVPR
2025
Boost the Inference with Co-Training: A Depth-Guided Mutual Learning Framework for Semi-Supervised Medical Polyp Segmentation
Yuxin Li
,
Zihao Zhu
,
Yuxiang Zhang
,
Yifan Chen
,
Zhibin Yu
ICLR
2025
Bridging Jensen Gap for Max-Min Group Fairness Optimization in Recommendation
Chen Xu
,
Yuxin Li
,
Wenjie Wang
,
Liang Pang
,
Jun Xu
,
Tat-Seng Chua
ICML
2025
MA-LoT: Model-Collaboration Lean-Based Long Chain-of-Thought Reasoning Enhances Formal Theorem Proving
Ruida Wang
,
Rui Pan
,
Yuxin Li
,
Jipeng Zhang
,
Yizhen Jia
,
Shizhe Diao
,
Renjie Pi
,
Junjie Hu
,
Tong Zhang
ICML
2025
OmiAD: One-Step Adaptive Masked Diffusion Model for Multi-Class Anomaly Detection via Adversarial Distillation
Yaoxuan Feng
,
Wenchao Chen
,
Yuxin Li
,
Bo Chen
,
Yubiao Wang
,
Zixuan Zhao
,
Hongwei Liu
,
Mingyuan Zhou
ICLR
2024
InsertNeRF: Instilling Generalizability into NeRF with HyperNet Modules
Yanqi Bao
,
Tianyu Ding
,
Jing Huo
,
Wenbin Li
,
Yuxin Li
,
Yang Gao
ICLR
2024
Transformer-Modulated Diffusion Models for Probabilistic Multivariate Time Series Forecasting
Yuxin Li
,
Wenchao Chen
,
Xinyue Hu
,
Bo Chen
,
Baolin Sun
,
Mingyuan Zhou
ICML
2024
Vague Prototype-Oriented Diffusion Model for Multi-Class Anomaly Detection
Yuxin Li
,
Yaoxuan Feng
,
Bo Chen
,
Wenchao Chen
,
Yubiao Wang
,
Xinyue Hu
,
Baolin Sun
,
Chunhui Qu
,
Mingyuan Zhou
ICLR
2023
Delving into Semantic Scale Imbalance
Yanbiao Ma
,
Licheng Jiao
,
Fang Liu
,
Yuxin Li
,
Shuyuan Yang
,
Xu Liu
ICML
2023
Prototype-Oriented Unsupervised Anomaly Detection for Multivariate Time Series
Yuxin Li
,
Wenchao Chen
,
Bo Chen
,
Dongsheng Wang
,
Long Tian
,
Mingyuan Zhou