1 citations · 3 across the 14 of their papers we have counts for
14 papers
From Reasoning Strings to Partial Orders: Verifier-Certified Rule Transport through Quotient Policy Optimization
Bang Xie, Hao Liu, Zhiyuan Peng +5
Many computations admit several valid execution orders because independent subgoals or disjoint state updates can commute. Reinforcement learning with verifiable rewards usually tr…
PonyEval: Evaluating LLM-Based Program Repair for Capability-Safe and Actor-Oriented Pony Software
Bang Xie, Hao Liu, Zhenyu Shi +8
Repository-level issue-resolution benchmarks have made executable evaluation central to software-engineering agents, but their language coverage remains concentrated in mainstream…
OdinEval: A Reproducible Benchmark for LLM-Based Program Repair in the Odin Programming Language
Bang Xie, Hao Liu, Zhiyuan Peng +8
Repository-level repair benchmarks still center on a few mainstream languages, leaving systems languages such as Odin largely untested. We present OdinEval, a reproducible benchmar…
AppEval: A Unified Benchmark for LLM-Based Mobile Application Repair in ArkTS, Swift, and Kotlin
Bang Xie, Hao Liu, Zhenyu Shi +11
Repository-level LLM agents are typically evaluated on projects whose tests run on the build host. It remains unclear whether their repairs survive the mobile build-install-launch-…
Self-GC: Self-Governing Context for Long-Horizon LLM Agents
Xubin Hao, Hongjin Meng, Xin Yin +2
Long-horizon LLM agents accumulate tool results, files, plans, and user constraints that are too structured to be treated as a disposable text suffix. Current systems mostly rely o…
EvoClawBench: Can Agents Learn Reusable Skills from Their Own Runs?
Zhiyuan Peng, Xin Yin, Chenhao Ying +5
Existing agent benchmarks primarily test task completion, tool use, or skill utility, but do not isolate whether a runtime can convert evidence from its own runs into reusable skil…
PlayCoder: Making LLM-Generated GUI Code Playable
Zhiyuan Peng, Wei Tao, Xin Yin +3
Large language models (LLMs) have achieved strong results in code generation, but their ability to generate GUI applications, especially games, remains insufficiently studied. Exis…
LETGAMES: An LLM-Powered Gamified Approach to Cognitive Training for Patients with Cognitive Impairment
Jingwei Shi, Shengyu Tao, Xinxiang Yin +3
The application of games as a therapeutic tool for cognitive training is beneficial for patients with cognitive impairments. However, effective game design for individual patient i…
SolAgent: A Specialized Multi-Agent Framework for Solidity Code Generation
Wei Chen, Zhiyuan Peng, Xin Yin +4
Smart contracts are the backbone of the decentralized web, yet ensuring their functional correctness and security remains a critical challenge. While Large Language Models (LLMs) h…
RepoGenesis: Benchmarking End-to-End Microservice Generation from Readme to Repository
Zhiyuan Peng, Xin Yin, Pu Zhao +7
Large language models and agents have achieved remarkable progress in code generation. However, existing benchmarks focus on isolated function/class-level generation (e.g., ClassEv…
RepoTransAgent: Multi-Agent LLM Framework for Repository-Aware Code Translation
Ziqi Guan, Xin Yin, Zhiyuan Peng +1
Repository-aware code translation is critical for modernizing legacy systems, enhancing maintainability, and enabling interoperability across diverse programming languages. While r…
A Preference-Driven Methodology for High-Quality Solidity Code Generation
Zhiyuan Peng, Xin Yin, Chenhao Ying +2
While Large Language Models (LLMs) have demonstrated remarkable progress in generating functionally correct Solidity code, they continue to face critical challenges in producing ga…
MulChain: Enabling Advanced Cross-Modal Queries in Hybrid-Storage Blockchains
Zhiyuan Peng, Xin Yin, Gang Wang +5
With its decentralization and immutability, blockchain has emerged as a trusted foundation for data management and querying. Because blockchain storage space is limited, large mult…
SolEval: Benchmarking Large Language Models for Repository-level Solidity Code Generation
Zhiyuan Peng, Xin Yin, Rui Qian +5
Large language models (LLMs) have transformed code generation. However, most existing approaches focus on mainstream languages such as Python and Java, neglecting the Solidity lang…