logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
Y

Yiming Xu

Northwestern University

5H指数
21论文数
98被引数
收录论文 3
发表时间
logo
A Certifying Proof Assistant for Synthetic Mathematics in Lean在Lean中用于综合数学的认证型证明助手
errPROCEEDINGS OF THE 15TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2026
IF0
err2026-01-01
err0
PREAI
errNawrocki, Wojciech; Hua, Joseph; Carneiro, Mario; Xu, Yiming; Woolfson, Spencer; Rong, Shuge; Hazratpour, Sina; Awodey, Steve
err分享
err收藏
Open Set Domain Adaptation With Soft Unknown-Class Rejection
errIEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS
IF8.9
err2023-03-01
err17
PREAI
errXu, Yiming; Chen, Lin; Duan, Lixin; Tsang, Ivor W.; Luo, Jiebo
err分享
err收藏
An integrated framework for automatic ontology learning from unstructured repair text data for effective fault detection and isolation in automotive domain
errCOMPUTERS IN INDUSTRY
IF9.1
err2020-12-01
err16
PREAI
errRajpathak, Dnyanesh; Xu, Yiming; Gibbs, Ian
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Jiebo Luo
H 指数: 97 · 论文数: 1.2K
I
Ivor W. Tsang
H 指数: 69 · 论文数: 536
L
Lixin Duan
H 指数: 37 · 论文数: 191
D
Dnyanesh Rajpathak
H 指数: 11 · 论文数: 23
L
Lin Chen
H 指数: 11 · 论文数: 26
查看更多