most citedRAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation

1 citations · 1 across the 8 of their papers we have counts for

collaborators

8 papers

cs.LG2026

When Log Parsing Removes What Matters: Detecting Failures in Distributed GPU Workloads

Boyuan Cui, Yuyang Zeng, Yifang Tian +1

Large AI models increasingly rely on distributed GPU execution, yet it remains unclear whether established failure analysis methods transfer effectively to this setting. We introdu…

cs.SE2026

ORCA: Observability-Grounded Program Repair for Microservice Incidents

Yuanchen Gao, Yifang Tian, Yiran Li +2

Microservice failures are often diagnosed from operational telemetry. However, automated program repair systems usually start from issue reports, localized code context, or failing…

cs.SE2026

GALA: Graph-Augmented LLM Agents for Root Cause Analysis and Incident Response in Microservices

Yifang Tian, Yaming Liu, Zichun Chong +3

Microservice root cause analysis (RCA) requires correlating failures across heterogeneous telemetry within complex service dependency graphs. Existing methods often rely on a singl…

cs.AI2026

When Agentic Executions Fail: Detecting and Localizing Runtime Faults from Telemetry

Chenkai Zhang, Yiran Li, Yifang Tian +2

Reliability in LLM-based agentic systems is a property of the whole execution (its tool calls, model calls, guardrails, and inter-agent messages), not of the final answer alone, ye…

cs.SE2026

FAME: Failure-Aware Mixture-of-Experts for Message-Level Log Anomaly Detection

Huanchi Wang, Zihang Huang, Yifang Tian +3

Production systems generate millions of log lines daily, yet most anomaly detectors operate at the session or window-level, flagging groups of lines rather than identifying the spe…

cs.AI2026

SREGym: A Live Benchmark for AI SRE Agents with High-Fidelity Failure Scenarios

Jackson Clark, Yiming Su, Saad Mohammad Rafid Pial +5

AI agents are increasingly used to diagnose and mitigate failures in production systems, known as agentic Site Reliability Engineering (SRE). Current SRE benchmarks are limited to…

cs.AI2025

GALA: Can Graph-Augmented Large Language Model Agentic Workflows Elevate Root Cause Analysis?

Yifang Tian, Yaming Liu, Zichun Chong +2

Root cause analysis (RCA) in microservice systems is challenging, requiring on-call engineers to rapidly diagnose failures across heterogeneous telemetry such as metrics, logs, and…

cs.SE2025★ 1 cited

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation

Sicheng Zhong, Jiading Zhu, Yifang Tian +1

Scaling automated formal verification to real-world projects requires resolving cross-module dependencies and global contexts, which are challenges overlooked by existing function-…