2 citations · 2 across the 1 of their papers we have counts for
6 papers
Project-Level C-to-Rust Translation via Pointer Knowledge Graphs
Zhiqiang Yuan, Wenjun Mao, Zhuo Chen +4
Translating C code into safe Rust is an effective way to ensure memory safety. Compared to rule-based approaches, which often produce largely unsafe Rust code, LLM-based methods ge…
GLM-5: from Vibe Coding to Agentic Engineering
GLM-5-Team, :, Aohan Zeng +184
We present GLM-5, a next-generation foundation model designed to transition the paradigm of vibe coding to agentic engineering. Building upon the agentic, reasoning, and coding (AR…
Kimi K2: Open Agentic Intelligence
Kimi Team, Yifan Bai, Yiping Bao +195
We introduce Kimi K2, a Mixture-of-Experts (MoE) large language model with 32 billion activated parameters and 1 trillion total parameters. We propose the MuonClip optimizer, which…
Search for light Dark Sectors with GeV Muon Beams
Zijian Wang, Leyun Gao, Zhuo Chen +10
Sub-GeV light dark matter often requires new light mediators, such as a dark boson in the gauge theory. We study the search potential for such a boson v…
Riemannian Bilevel Optimization with Gradient Aggregation
Zhuo Chen, Xinjian Xu, Shihui Ying +1
Bilevel optimization (BLO) offers a principled framework for hierarchical decision-making and has been widely applied in machine learning tasks such as hyperparameter optimization…
HardRace: A Dynamic Data Race Monitor for Production Use
Xudong Sun, Zhuo Chen, Jingyang Shi +5
Data races are critical issues in multithreaded program, leading to unpredictable, catastrophic and difficult-to-diagnose problems. Despite the extensive in-house testing, data rac…