CORTEXA
← Browse

Chen Chen

18 papers indexed

arxivcs.LOcs.AR2026-07-29

CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification

Ziyi Yang, Wenji Fang, Chen Chen, Zhiyao Xie, Hongce Zhang

Modern integrated circuits (ICs) are becoming increasingly complex, making functional verification a major bottleneck. The dominant hardware formal verification methodology, model checking, verifies each design instance separately and exposes only pass/fail results, so the reason…

View free PDFSource page
openalexScientific Reports2026-07-24

An AI-driven alert system for preventing unplanned extubation via arm movement monitoring in the ICU

Chen Chen, Qi Qian, Yun Yu, Yunyan Su, Yan Wang, Zheyun Wang

Abstract Unplanned extubation (UEX) in the intensive care unit (ICU) is a serious adverse event. Current prevention strategies relying on staff vigilance have limitations. Artificial intelligence (AI)-based computer vision offers a new approach for real-time, non-contact monitori…

View free PDFSource page
openalexFrontiers in Psychology2026-07-23

Authority cues and metacognitive miscalibration in linguistic judgment: evidence from an English–Chinese revision paradigm

Chen Chen, Ning Ren, Zikai Guo

Introduction Linguistic judgment rarely occurs in a social vacuum. This study examined whether social authority cues reshape the alignment between confidence and decision accuracy, known as metacognitive calibration, and subsequently influence linguistic revision behavior. Method…

View free PDFSource page
arxivcs.LGcs.CL2026-07-21

AdaFlash: Adaptive Speculative Decoding via On-Policy Distilled Diffusion Drafters

Yu-Yang Qian, Hao-Cong Wu, Chen Chen, Jiacheng Sun, Zhenhua Dong, Peng Zhao, et al.

Speculative decoding, in which a lightweight draft model first generates a draft sequence that is then verified in parallel by the target model, has become a prevalent paradigm for accelerating large language model inference. Recent work such as DFlash further boosts drafting eff…

View free PDFSource page
arxivcs.CV2026-07-21

Advancing Multimodal Fusion on Heterogeneous Medical Data with Hybrid Geometry Attention

Joy Dhar, Manish Kumar Pandey, Nayyar Zaidi, Chen Chen, Maryam Haghighat, Ferdous Sohel, et al.

Multimodal fusion learning (MFL) has shown great potential in the medical domain, where we are faced with disparate data modalities such as imaging, clinical records, and omics. However, existing MFL strategies face several major challenges. First, they struggle to capture comple…

View free PDFSource page
arxivcs.HC2026-07-20

ChatMuse: Supporting In-Person Small-Group Conversation Experience with a Proactive Assistive AI Agent in Mixed Reality

Shaoze Zhou, Joaquin Frangi, Diana Nelly Rivera Rodriguez, Rawan Alghofaili, Janet G. Johnson, Lingyao Li, et al.

In-person small-group conversations occur across nearly every aspect of daily life and play a crucial role in social interaction. However, achieving effective in-person group conversations can be challenging and cognitively demanding. While recent Mixed Reality (MR) headsets show…

View free PDFSource page
arxivcs.AI2026-07-18

Just A Rather Very Intelligent Spoken Agent

Chen Chen, Zhehuai Chen

Long-horizon AI agents are becoming increasingly capable, yet their interaction with users remains surprisingly thin. In most workflows, users give an initial instruction, receive only selective textual updates, and lose a clear sense of what the agent is doing or when to step in…

View free PDFSource page
arxivcs.CV2026-07-06

TimeThink: Reasoning with Time for Video LLMs

Handong Li, Longteng Guo, Zikang Liu, Dongze Hao, Yepeng Tang, Zijia Zhao, et al.

Video reasoning requires models to identify and verify temporally localized evidence within long video sequences. Recent Video Large Language Models (Video-LLMs) have shown promising reasoning abilities when aligned with reinforcement learning, yet existing approaches typically r…

View free PDFSource page
arxivcs.CV2026-07-03

FairFlow: Demystifying and Mitigating Stereotype Bias in Text-to-Image Diffusion Transformers

Chen Chen, Yuanmin Huang, Zhenfei Zhang, Mi Zhang, Xiaohan Zhang, Yun Xiong, et al.

Multimodal diffusion transformers (MM-DiTs) have emerged as the prevalent backbone for modern text-to-image generation systems. However, they exhibit critical alignment vulnerabilities, systematically manifesting severe stereotype biases even under benign prompts. This poses a si…

View free PDFSource page
arxivcs.ROcs.CV2026-07-02

DL-SLAM: Enabling High-Fidelity Gaussian Splatting SLAM in Dynamic Environments based on Dual-Level Probability

Ziheng Xu, Qingfeng Li, Xuefeng Liu, Chen Chen, Jianwei Niu

Recent advances in 3D Gaussian Splatting (3DGS) have enabled significant progress in dense dynamic Simultaneous Localization And Mapping (SLAM). Prevailing methods typically discard predefined dynamic objects, ignoring that transiently static objects offer valuable geometric cons…

View free PDFSource page
arxivcs.CV2026-06-29

Consistency as Inductive Bias: Learning Cross-View Invariance for Robust Multimodal Reasoning

Xin Zou, Haolin Deng, Yibo Yan, Shuliang Liu, Kening Zheng, Zhiwei Jin, et al.

Inductive biases steer learning toward generalizable solutions by encoding task structure. In this work, we identify a crucial missing bias in MLLMs: cross-view consistency, \textit{i.e.}, semantically invariant views of the same instance should lead to the same answer. Standard…

View free PDFSource page
arxivcs.CV2026-06-29

Clearer Sight, Fewer Lies: Oriented Pickup Preference Optimization for Multimodal Hallucination Mitigation

Xin Zou, Haolin Deng, Yibo Yan, Shuliang Liu, Zhiwei Jin, Chen Chen, et al.

Multimodal Large Language Models (MLLMs) are prone to hallucination as their generation preferences are insufficiently calibrated to visual evidence, causing them to fall back on linguistic priors, rather than faithful grounding. In this work, we start from an empirical observati…

View free PDFSource page
arxivcs.MMcs.AIcs.CR2026-06-26

It Lied to a Doctor to Buy Poison Ingredients: Quantifying Real-World Misuse of Phone-use Agents

Yiming Sun, Chen Chen, Zifan Zhou, Mi Zhang

Phone-use Agents can execute complex tasks end to end across real mobile applications. By operating a real device on the user's behalf, they reach far more functionalities than CLI agents, which amplifies the real-world harm they can cause when driven for malicious purposes. We p…

View free PDFSource page
openalexSensors2025-12-05

Eccentricity Fault Diagnosis System in Three-Phase Permanent Magnet Synchronous Motor (PMSM) Based on the Deep Learning Approach

Kenny Sau Kang Chu, Kuew Wai Chew, Yoong Choon Chang, Stella Morris, Yap Hoon, Chen Chen

Motor eccentricity faults, stemming from the misalignment of the rotor's center and pivot point, lead to significant vibrations and noise, compromising motor reliability. This study emphasizes the need for an efficient diagnostic system to enable early detection and correction of…

View free PDFSource page
openalexIEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing2025-01-01Cited by 5

A Multisource Image Matching Method Based on Contrastive Network With Similarity Weighting

Zhen Han, Ning Lv, Tao Su, Yoong Choon Chang, Chen Chen

Multisource remote sensing (MRS) image matching can provide more accurate data support for a variety of remote sensing tasks, but the disparities in imaging characteristics among different sensors bring significant challenges for effective image matching. In this article, we prop…

View free PDFSource page
openalexRemote Sensing2024-10-05Cited by 37

A Low-Cost and Lightweight Real-Time Object-Detection Method Based on UAV Remote Sensing in Transportation Systems

Ziye Liu, Chen Chen, Ziqin Huang, Yoong Choon Chang, Lei Liu, Qingqi Pei

Accurate detection of transportation objects is pivotal for enhancing driving safety and operational efficiency. In the rapidly evolving domain of transportation systems, the utilization of unmanned aerial vehicles (UAVs) for low-altitude detection, leveraging remotely-sensed ima…

View free PDFSource page
openalexIEEE Transactions on Intelligent Transportation Systems2023-10-27Cited by 39

Deep Deterministic Policy Gradient-Based Algorithm for Computation Offloading in IoV

Haofei Li, Chen Chen, Hangguan Shan, Pu Li, Yoong Choon Chang, Houbing Song

The continuous evolution of cellular networks has resulted in the rapid increase in both mobile applications and devices in the Internet of Vehicles. The introduction of the multi-access edge computing method makes it possible for vehicles in remote areas to offload their computa…

View free PDFSource page