Scholar
Rui Dong
Google Scholar ID: KRvccQ8AAAAJ
Ph.D. candidate, University of Michigan
program synthesis
formal methods
program verification
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
109
H-index
6
i10-index
6
Publications
7
Co-authors
7
list available
Contact
No contact links provided.
Publications
7 items
M3D-BFS: a Multi-stage Dynamic Fusion Strategy for Sample-Adaptive Multi-Modal Brain Network Analysis
2026
Cited
0
BLEG: LLM Functions as Powerful fMRI Graph-Enhancer for Brain Network Analysis
2026
Cited
0
DITING: A Multi-Agent Evaluation Framework for Benchmarking Web Novel Translation
2025
Cited
0
SHERLOCK: Towards Dynamic Knowledge Adaptation in LLM-enhanced E-commerce Risk Management
2025
Cited
0
MLLM-Driven Semantic Identifier Generation for Generative Cross-Modal Retrieval
2025
Cited
0
ELEC: Efficient Large Language Model-Empowered Click-Through Rate Prediction
2025
Cited
0
TIDE: Achieving Balanced Subject-Driven Image Generation via Target-Instructed Diffusion Enhancement
2025
Cited
0
Resume (English only)
Co-authors
7 total
Xinyu Wang
University of Michigan
Yan Chen
Virginia Tech, Assistant Professor
Kevin Pu
PhD student, University of Toronto
Tovi Grossman
University of Toronto
Co-author 5
Co-author 6
Jie Liu
PhD student, University of Michigan, Ann Arbor
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up