← Search

Can Li

9 accepted papers

2026

On Multi-Step Theorem Prediction via Non-Parametric Structural Priors

ICML 2026poster

Multi-step theorem prediction is a central challenge in automated reasoning. Existing neural–symbolic approaches rely heavily on supervised parametric models, which exhibit limited generalization to evolving theorem libraries. In this work, we explore training-free theorem prediction through the len…

Cited by 0SourceScholar
2026

RaCo-SLAM: A Physics-Informed 4D Radar SLAM with Co-Visibility Consistency Factor

ICRA 2026poster

Robust all-weather localization is a critical capability for autonomous systems. While 4D mmWave radar offers superior resilience to adverse environmental conditions compared to LiDAR and cameras, its application in high-precision Simultaneous Localization and Mapping (SLAM) is hindered by significa…

Cited by 0codeScholar
2026

VisioMath: Benchmarking Figure-based Mathematical Reasoning in LMMs

ICLR 2026poster

Large Multimodal Models have achieved remarkable progress in integrating vision and language, enabling strong performance across perception, reasoning, and domain-specific tasks. However, their capacity to reason over multiple, visually similar inputs remains insufficiently explored. Such fine-grain…

Cited by 0SourcecodeScholar
2025

Enforcing Hard Linear Constraints in Deep Learning Models with Decision Rules

NeurIPS 2025poster

Deep learning models are increasingly deployed in safety-critical tasks where predictions must satisfy hard constraints, such as physical laws, fairness requirements, or safety limits. However, standard architectures lack built-in mechanisms to enforce such constraints, and existing approaches based…

Cited by 0SourceScholar
2025

Learning-based Keypoints Detection with Topological Order on Deformable Linear Objects from Incomplete Point Clouds

IROS 2025

Detection of deformable linear objects (DLOs) in three-dimensional space is essential for robotic manipulation of DLOs. However, their complex deformations and high degrees of freedom make perception highly susceptible to occlusions, noise, and data missing. To address these challenges, we propose a

Cited by 0SourceScholar
2025

TimeKAN: KAN-based Frequency Decomposition Learning Architecture for Long-term Time Series Forecasting

ICLR 2025poster

Real-world time series often have multiple frequency components that are intertwined with each other, making accurate time series forecasting challenging. Decomposing the mixed frequency components into multiple single frequency components is a natural choice. However, the information density of pat…

2020

Adaptive Graph Convolutional Recurrent Network for Traffic Forecasting

NeurIPS 2020poster

Modeling complex spatial and temporal correlations in the correlated time series data is indispensable for understanding the traffic dynamics and predicting the future status of an evolving traffic system. Recent works focus on designing complicated graph neural network architectures to capture shar…