most citedFrom Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

2 citations · 5 across the 11 of their papers we have counts for

collaborators

11 papers

cs.SE2026

Toward Functional and Non-Functional Evaluation of Application-Level Code Generation

Ruwei Pan, Yakun Zhang, Qingyuan Liang +4

Large language models (LLMs) have achieved strong performance on code generation. However, most prior evaluations focus on snippet-level outputs, such as function generation or rep…

cs.CV2026

Rethinking Video Generation Model for the Embodied World

Yufan Deng, Zilin Pan, Hongyu Zhang +6

Video generation models have significantly advanced embodied intelligence, unlocking new possibilities for generating diverse robot data that capture perception, reasoning, and act…

cs.CR2026

CORVUS: Red-Teaming Hallucination Detectors via Internal Signal Camouflage in Large Language Models

Nay Myat Min, Long H. Pham, Hongyu Zhang +1

Single-pass hallucination detectors rely on internal telemetry (e.g., uncertainty, hidden-state geometry, and attention) of large language models, implicitly assuming hallucination…

cs.IR2026

Ahead of the Spread: Agent-Driven Virtual Propagation for Early Fake News Detection

Bincheng Gu, Min Gao, Junliang Yu +4

Early detection of fake news is critical for mitigating its rapid dissemination on social media, which can severely undermine public trust and social stability. Recent advancements…

cs.SE2025

MINES: Explainable Anomaly Detection through Web API Invariant Inference

Wenjie Zhang, Yun Lin, Chun Fung Amos Kwok +5

Detecting the anomalies of web applications, important infrastructures for running modern companies and governments, is crucial for providing reliable web services. Many modern web…

cs.SE2025★ 1 cited

LLMAID: Identifying AI Capabilities in Android Apps with LLMs

Pei Liu, Terry Zhuo, Jiawei Deng +7

Recent advancements in artificial intelligence (AI) and its widespread integration into mobile software applications have received significant attention, highlighting the growing p…

cs.SE2025

AdaCoder: An Adaptive Planning and Multi-Agent Framework for Function-Level Code Generation

Yueheng Zhu, Chao Liu, Xuan He +4

Recently, researchers have proposed many multi-agent frameworks for function-level code generation, which aim to improve software development productivity by automatically generati…

cs.SE2025

MoT: Modularization-of-Thought Prompting for Effective Code Generation

Ruwei Pan, Hongyu Zhang

Large Language Models are transforming software development by automatically generating code. Current prompting techniques such as Chain-of-Thought (CoT) suggest tasks step by step…

cs.SE2025

AgentDroid: A Multi-Agent Framework for Detecting Fraudulent Android Applications

Ruwei Pan, Hongyu Zhang, Zhonghao Jiang +1

With the increasing prevalence of fraudulent Android applications such as fake and malicious applications, it is crucial to detect them with high accuracy and adaptability. We pres…

cs.AI2025★ 2 cited

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs

Jialun Cao, Yaojie Lu, Meiziniu Li +9

The research in AI-based formal mathematical reasoning has shown an unstoppable growth trend. These studies have excelled in mathematical competitions like IMO and have made signif…

cs.SE2025★ 2 cited

CodeCoR: An LLM-Based Self-Reflective Multi-Agent Framework for Code Generation

Ruwei Pan, Hongyu Zhang, Chao Liu

Code generation aims to produce code that fulfills requirements written in natural language automatically. Large Language Models (LLMs) like ChatGPT have demonstrated promising eff…