← Search

Yixiao Ma

8 accepted papers

2026

IDK-S: Incremental Distributional Kernel for Streaming Anomaly Detection

AAAI 2026technical

Anomaly detection on data streams presents significant challenges, requiring methods to maintain high detection accuracy among evolving distributions while ensuring real-time efficiency. Here we introduce IDK-S, a novel Incremental Distributional Kernel for Streaming anomaly detection that effective

Cited by 0SourcePDFScholar
2026

SCoNE: Spherical Consistent Neighborhoods Ensemble for Effective and Efficient Multi-View Anomaly Detection

AAAI 2026technical

The core problem in multi-view anomaly detection is to represent local neighborhoods of normal instances consistently across all views. Recent approaches consider a representation of local neighborhood in each view independently, and then capture the consistent neighbors across all views via a learn

Cited by 0SourcePDFScholar
2025

HDPlanner: Advancing Autonomous Deployments in Unknown Environments Through Hierarchical Decision Networks

RA-L 2025

In this paper, we introduce HDPlanner, a deep reinforcement learning (DRL) based framework designed to tackle two core and challenging tasks for mobile robots: autonomous exploration and navigation, where the robot must optimize its trajectory adaptively to achieve the task objective through continu

Cited by 16SourceScholar
2025

Unveiling the Magic of Code Reasoning through Hypothesis Decomposition and Amendment

ICLR 2025poster

The reasoning abilities are one of the most enigmatic and captivating aspects of large language models (LLMs). Numerous studies are dedicated to exploring and expanding the boundaries of this reasoning capability. However, tasks that embody both reasoning and recall characteristics are often overloo…

2025

VERSE: Verification-based Self-Play for Code Instructions

AAAI 2025technical

Instruction-tuned Code Large Language Models (Code LLMs) have excelled in diverse code-related tasks, such as program synthesis, automatic program repair, and code explanation. To collect training datasets for instruction-tuning, a popular method involves having models autonomously generate instruct…

2024

IR2: Implicit Rendezvous for Robotic Exploration Teams under Sparse Intermittent Connectivity

IROS 2024

Information sharing is critical in time-sensitive and realistic multi-robot exploration, especially for smaller robotic teams in large-scale environments where connectivity may be sparse and intermittent. Existing methods often overlook such communication constraints by assuming unrealistic global c

Cited by 14SourcecodeScholar
2024

RePair: Automated Program Repair with Process-based Feedback

ACL 2024findings

The gap between the trepidation of program reliability and the expense of repairs underscore the indispensability for Automated Program Repair (APR). APR is instrumental in transforming vulnerable programs into more robust ones, bolstering program reliability while simultaneously diminishing the fin…

2023

CaseEncoder: A Knowledge-enhanced Pre-trained Model for Legal Case Encoding

EMNLP 2023long main

Legal case retrieval is a critical process for modern legal information systems. While recent studies have utilized pre-trained language models (PLMs) based on the general domain self-supervised pre-training paradigm to build models for legal case retrieval, there are limitations in using general do…

Cited by 0SourcecodeScholar