2 papers
cs.SE2026
Yet Even Less Is Even Better For Agentic, Reasoning, and Coding LLMs
CodeArts Model Team, Yang Ye, Jingyuan Tan +24
Training effective software engineering agents requires large volumes of task-specific trajectories, incurring substantial data construction costs. Inspired by the "Less-Is-More" h…
cs.SE2025
Towards Source Mapping for Zero-Knowledge Smart Contracts: Design and Preliminary Evaluation
Pei Xu, Yulei Sui, Mark Staples
Debugging and auditing zero-knowledge-compatible smart contracts remains a significant challenge due to the lack of source mapping in compilers such as zkSolc. In this work, we pre…