Yifei Dong

26 papers A* 2A 1B 2C 2Misc 1Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
LDA-1B: Scaling Latent Dynamics Action Model via Universal Embodied Data Ingestion.
CoRR
Jiangran Lyu, Kai Liu, Xuheng Zhang, Haoran Liao, Yusen Feng, Wenxuan Zhu, Tingrui Shen, Jiayi Chen, Jiazhao Zhang, Yifei Dong, Wenbo Cui, Senmao Qi, Shuo Wang, Yixin Zheng, Mi Yan, Xuesong Shi, Haoran Li, Dongbin Zhao, Ming-Yu Liu, Zhizheng Zhang, Li Yi, Yizhou Wang, He Wang
2026 J jnl
LaViT: Aligning Latent Visual Thoughts for Multi-modal Reasoning.
CoRR
Linquan Wu, Tianxiang Jiang, Yifei Dong, Haoyu Yang, Fengji Zhang, Shichaang Meng, Ai Xuan, Linqi Song, Jacky Keung
2025 — conf
An Attention-Based Diffusion Policy with Hybrid Farthest Point Sampling for Robotic Intelligent Manipulation.
ICIRA (2)
Yifei Dong, Yi An, Tiantian Xu, Sheng Xu
2025 — conf
The First WARA Robotics Mobile Manipulation Challenge - Lessons Learned.
ECMR
David Cáceres-Domínguez, Marco Iannotta, Abhishek Kashyap, Shuo Sun, Yuxuan Yang, Christian Cella, Matteo Colombo, Martina Pelosi, Giuseppe F. Preziosa, Alessandra Tafuro, Isacco Zappa, Finn Busch, Yifei Dong, Alberta Longhini, Haofei Lu, Rafael I. Cabral Muchacho, Jonathan Styrud, Sebastiano Fregnan, Marko Guberina, Zheng Jia, Graziano Carriero, Sofia Lindqvist, Silvio Di Castro, Matteo Iovino
2025 J jnl
The First WARA Robotics Mobile Manipulation Challenge - Lessons Learned.
CoRR
David Cáceres-Domínguez, Marco Iannotta, Abhishek Kashyap, Shuo Sun, Yuxuan Yang, Christian Cella, Matteo Colombo, Martina Pelosi, Giuseppe F. Preziosa, Alessandra Tafuro, Isacco Zappa, Finn Busch, Yifei Dong, Alberta Longhini, Haofei Lu, Rafael I. Cabral Muchacho, Jonathan Styrud, Sebastiano Fregnan, Marko Guberina, Zheng Jia, Graziano Carriero, Sofia Lindqvist, Silvio Di Castro, Matteo Iovino
2025 J jnl
WarriorMath: Enhancing the Mathematical Ability of Large Language Models with a Defect-aware Framework.
CoRR
Yue Chen, Minghua He, Fangkai Yang, Pu Zhao, Lu Wang, Yu Kang, Yifei Dong, Yuefeng Zhan, Hao Sun, Qingwei Lin, Saravan Rajmohan, Dongmei Zhang
2023 J jnl
GPS-based location and path tracking in automatic driving system in a fixed route using fusion algorithm.
Artif. Life Robotics
Yifei Dong, Shigeyuki Tateno, Harutoshi Ogai, Yichen Wang, Shuwei Zhang, Yutian Wu
2023 J jnl
Learning-based algorithms with application to urban scene autonomous driving.
Artif. Life Robotics
Shuwei Zhang, Yutian Wu, Yichen Wang, Yifei Dong, Harutoshi Ogai, Shigeyuki Tateno
2021 J jnl
Maximum Likelihood Estimation Based Nonnegative Matrix Factorization for Hyperspectral Unmixing.
Remote. Sens.
Qin Jiang, Yifei Dong, Jiangtao Peng, Mei Yan, Yi Sun
2020 J jnl
Magnetostatic Active Contour Model with Classification Method of Sparse Representation.
J. Electr. Comput. Eng.
Guoqi Liu, Yifei Dong, Ming Deng, Yihang Liu
2012 — —
PetrolWatch: a participatory image sensing system for automated street level information collection.
Yifei Dong
2007 — conf
Effect of Glance Duration on Perceived Complexity and Segmentation of User Interfaces.
HCI (3)
Yifei Dong, Chen Ling, Lesheng Hua
2006 — conf
Shared Knowledge Construction Process in an Open-source Software Development Community: An Investigation of the Gallery Community.
ICLS
Xun Ge, Yifei Dong, Kun Huang
2005 C conf
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.
PADL
Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
2005 J jnl
Performing clustering analysis on collaborative models.
Intell. Data Anal.
Hong-Bin Shen, Jie Yang, Ningjiang Chen, Yifei Dong, Shitong Wang
2004 Misc conf
Online Justification for Tabled Logic Programs.
FLOPS
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
2003 A* conf
Evidence Explorer: A Tool for Exploring Model-Checking Proofs.
CAV
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
2003 J jnl
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.
Int. J. Softw. Tools Technol. Transf.
Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka
2003 — conf
Model Checking and Evidence Exploration.
ECBS
Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
2003 B conf
Online Justification for Tabled Logic Programs.
ICLP
Giridhar Pemmasani, Hai-Feng Guo, Yifei Dong, C. R. Ramakrishnan, I. V. Ramakrishnan
2002 — conf
Vacuity Checking in the Modal Mu-Calculus.
AMAST
Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka
2000 A* conf
XMC: A Logic-Programming-Based Verification Toolset.
CAV
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan
1999 C conf
An Optimizing Compiler for Efficient Model Checking.
FORTE
Yifei Dong, C. R. Ramakrishnan
1999 A conf
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.
TACAS
Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
1999 B conf
Practical Considerations in Protocol Verification: The E-2C Case Study.
ICECCS
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White
1998 — conf
Logic Programming and Model Checking.
PLILP/ALP
Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren