← Search

Caihua Liu

9 accepted papers

2026

MIRNet: Integrating Constrained Graph-Based Reasoning with Pre-training for Diagnostic Medical Imaging

AAAI 2026technical

Automated interpretation of medical images demands robust modeling of complex visual-semantic relationships while addressing annotation scarcity, label imbalance, and clinical plausibility constraints. We introduce MIRNet (Medical Image Reasoner Network), a novel framework that integrates self-super

Cited by 0SourcePDFScholar
2026

Machine Learning Methods for Studying Latent Neural Activity Dynamics

IJCAI 2026

Recent developments in brain recording are driving a demand for machine learning tools capable of decoding the latent structure of large populations of neurons. In this paper, we provide a comprehensive survey that outlines the trajectory of Latent Variable Models (LVMs) from early state-space model

Cited by 0Scholar
2026

Position: Certified Correctness in Neural Constraint Reasoning Requires Symbolic Integration

ICML 2026poster

Neural solvers for constraint satisfaction problems have achieved remarkable in-distribution accuracy, yet they suffer from a fundamental limitation where persistent constraint violations occur under distribution shifts even when the model reports high confidence. This position paper argues that whe…

Cited by 0SourceScholar
2026

STELLAR: Spatio-Temporal Environmental Learning with Latent Alignment and Refinement for Long-Tailed Species Distribution Modeling

IJCAI 2026

Joint Species Distribution Modeling (JSDM) is a key enabler for biodiversity monitoring and conservation planning. However, accurate JSDM faces two coupled challenges: environmental drivers and species distributions are inherently spatio-temporal, while species co-occurrence patterns exhibit complex

Cited by 0Scholar
2025

Capturing Rich Behavior Representations: A Dynamic Action Semantic-Aware Graph Transformer for Video Captioning

ICASSP 2025accepted

Existing video captioning methods merely provide shallow or simplistic representations of object behaviors, resulting in superficial and ambiguous descriptions. However, object behavior is dynamic and complex. To comprehensively capture the essence of object behavior, we propose a dynamic action sem…

Cited by 0SourceScholar
2024

ILP-FORMER: Solving Integer Linear Programming with Sequence to Multi-Label Learning

UAI 2024poster

Integer Linear Programming (ILP) is an essential class of combinatorial optimization problems (COPs). Its inherent NP-hardness has fostered considerable efforts towards the development of heuristic strategies. An emerging approach involves leveraging data-driven methods to automatically learn these…

Cited by 0SourcePDFScholar
2023

Exploring Leximin Principle for Fair Core-Selecting Combinatorial Auctions: Payment Rule Design and Implementation

IJCAI 2023poster

Core-selecting combinatorial auctions (CAs) restrict the auction result in the core such that no coalitions could improve their utilities by engaging in collusion. The minimum-revenue-core (MRC) rule is a widely used core-selecting payment rule to maximize the total utilities of all bidders. However…

2023

ScaleMix: Intra- And Inter-Layer Multiscale Feature Combination for Change Detection

ICASSP 2023accepted

Change detection (CD) aims at finding change objects from bi-temporal images, which has wide applications in different vision tasks. Previous CD methods focus more on fusing inter-layer multiscale features while ignoring the intra-layer multiscale characteristics, which hurts the integrity of change…

Cited by 0SourceScholar
2022

Deep Attentive Belief Propagation: Integrating Reasoning and Learning for Solving Constraint Optimization Problems

NeurIPS 2022accept

Belief Propagation (BP) is an important message-passing algorithm for various reasoning tasks over graphical models, including solving the Constraint Optimization Problems (COPs). It has been shown that BP can achieve state-of-the-art performance on various benchmarks by mixing old and new messages…

Cited by 7SourcePDFScholar