Searcharxiv⌕ Search

arXiv subjects

Zhiyuan Bao

Publications and source records attributed to Zhiyuan Bao.

2 recordsLinked to original sources

SWE-AGI: Benchmarking Specification-Driven Software Construction with MoonBit in the Era of Autonomous Agents

Although large language models (LLMs) have demonstrated impressive coding capabilities, their ability to autonomously build production-scale software from explicit specifications remains an open question. We introduce SWE-AGI, an open-source benchmark for evaluating end-to-end, specification-driven construction of software systems written in MoonBit. SWE-AGI tasks require LLM-based agents to implement parsers, interpreters, binary decoders, and SAT solvers strictly from authoritative standards and RFCs under a fixed API scaffold. Each task involves implementing 1,000-10,000 lines of core logic, corresponding to weeks or months of engineering effort for an experienced human developer. By leveraging the nascent MoonBit ecosystem, SWE-AGI minimizes data leakage, forcing agents to rely on long-horizon architectural reasoning rather than code retrieval. Across frontier models, gpt-5.3-codex achieves the best overall performance (solving 19/22 tasks, 86.4%), outperforming claude-opus-4.6 (15/22, 68.2%), and kimi-2.5 exhibits the strongest performance among open-source models. Performance degrades sharply with increasing task difficulty, particularly on hard, specification-intensive systems. Behavioral analysis further reveals that as codebases scale, code reading, rather than writing, becomes the dominant bottleneck in AI-assisted development. Overall, while specification-driven autonomous software engineering is increasingly viable, substantial challenges remain before it can reliably support production-scale development.

cs.SE↗

DC-based Security Constraints Formulation: A Perspective of Primal-Dual Interior Point Method

The DC network security constraints have been extensively studied in numerous power system problems, such as optimal power flow (OPF), security-constrained economic dispatch (SCED), and security-constrained unit commitment (SCUC). Linear shift factors, i.e., power transfer distribution factors (PTDFs), are widely applied to replace DC power flow constraints. However, the PTDF matrix is extremely dense, making it difficult to solve security-constraint optimization problems. This paper analyzes/investigates the computational inefficiency of PTDF-based security constraints from the sparse structure perspective of the primal-dual interior point method(IPM). Additionally, a matrix transformation method is proposed for restoring the sparsity of the linear system during IPM iterations. It turns out that the transformation method is equivalent to solving the original optimization problem expressed in pure voltage angle, which preserves the sparsity structure but introduces additional variables and constraints proportional to one to two times the total number of buses. The regular B-$θ$ formulation is also a variant of the proposed transformation. Numerical studies show that sparsity rather than the size of variables and constraints is the key factor impacting the speed of solving convex quadratic problems (QP), i.e., OPF and SCED problems. In contrast, sparsity is less desirable when solving a mixed integer problem (MIP), such as the SCUC problem, where reoptimization techniques are significantly more critical and the dual simplex method is typically employed rather than IPM.

math.OC↗