13 papers · ranked by Valyu relevance
Yongchao Chen, Yueying Liu, Junwei Zhou, Yilun Hao + 3 more
'Yang Zhang' 'Chuchu Fan'] Despite advances in reasoning and planning of R1-like models, Large Language Models (LLMs) still struggle with tasks requiring precise computation, symbolic manipulation, optimization, and algorithmic reasoning, in which textual reasoning lacks the rigor of code execution. A key challenge is…
Gabriel Chua
As large language models (LLMs) increasingly integrate native code interpreters, they enable powerful real-time execution capabilities, substantially expanding their utility. However, such integrations introduce potential system-level cybersecurity threats, fundamentally different from promptbased vulnerabilities. To…
Andrew Low, Z. Yasemin Kalender
Artificial Intelligence (AI) has the potential to fundamentally change the educational landscape. Chatbot's such as ChatGPT allow users to engage in conversations that mimic human interactions. So far, much of the physics education research relating to AI has focused on lecture-based assessment and the ability of…
Songyang Zhang, Chuyu Zhang, Yingfan Hu, Haowen Shen + 7 more
'Zerun Ma' 'Fengzhe Zhou' 'Wenwei Zhang' 'Xuming He' 'Dahua Lin' 'Kai Chen'] While LLM-Based agents, which use external tools to solve complex problems, have made significant progress, benchmarking their ability is challenging, thereby hindering a clear understanding of their limitations. In this paper, we propose an…
Ben L. Titzer
WebAssembly (Wasm) is a compact, well-specified bytecode format that offers a portable compilation target with near-native execution speed. The bytecode format was specifically designed to be fast to parse, validate, and compile, positioning itself as a portable alternative to native code. It was pointedly not designed…
Tianyu Zheng, Ge Zhang, Tianhao Shen, Xueling Liu + 4 more
Refinement Authors: ['Tianyu Zheng' 'Ge Zhang' 'Tianhao Shen' 'Xueling Liu' 'Bill Lin' 'Jie Fu' 'Wenhu Chen' 'Xiang Yue'] The introduction of large language models has significantly advanced code generation. However, open-source models often lack the execution capabilities and iterative refinement of advanced systems…
Mironov Sp
Reproducibility Authors: ['Mironov Sp'] Litrepl is a lightweight text processing tool designed to recognize and evaluate code sections within Markdown or LATEX documents. This functionality is useful for both batch document section evaluation and interactive coding within a text editor, provided a straightforward…
Shuyuan Xu, Zelong Li, Kai Mei, Yongfeng Zhang
Programming, and Flow Programming of AI Agents Authors: ['Shuyuan Xu' 'Zelong Li' 'Kai Mei' 'Yongfeng Zhang'] Since their inception, programming languages have trended towards greater readability and lower barriers for programmers. Following this trend, natural language can be a promising type of programming language…
Ryan Yen, Jian Zhao, Daniel Vogel
Sketching Authors: Ryan Yen, Jian Zhao, Daniel Vogel Title: Code Shaping: Iterative Code Editing with Free-form AI-Interpreted Sketching Authors: Ryan Yen, Jian Zhao, Daniel Vogel Content: mechanisms allowed them to "draw whatever we [they] want and see how the code changes". However, while participants valued the…
Marc Szafraniec, Baptiste Rozière, Hugh Leather, François Charton + 2 more
'Patrick Labatut' 'Gabriel Synnaeve'] In this paper, we leverage low-level compiler intermediate representations (IR) to improve code translation. Traditional transpilers rely on syntactic information and handcrafted rules, which limits their applicability and produces unnaturallooking code. Applying neural machine…
Yuancheng Jiang, Chuqi Zhang, Bonan Ruan, Jiahao Liu + 3 more
'Roland H. C. Yap' 'Zhenkai Liang'] PHP, a dominant scripting language in web development, powers a vast range of websites, from personal blogs to major platforms. While existing research primarily focuses on PHP application-level security issues like code injection, memory errors within the PHP interpreter have been…
Qiushi Sun, Zhirui Chen, Fangzhi Xu, Kanzhi Cheng + 14 more
'Zhangyue Yin' 'Jianing Wang' 'Chengcheng Han' 'Renyu Zhu' 'Shuai Yuan' 'Qipeng Guo' 'Xipeng Qiu' 'Pengcheng Yin' 'Xiaoli Li' 'Fei Yuan' 'Lingpeng Kong' 'Xiang Li' 'Zhiyong Wu'] Abstract—Neural Code Intelligence – leveraging deep learning to understand, generate, and optimize code – holds immense potential for…
Yufan Huang, Mengnan Qi, Yongqiang Yao, Maoquan Wang + 3 more
'Colin B. Clement' 'Neel Sundaresan'] Software version migration and program translation are an important and costly part of the lifecycle of large codebases. Traditional machine translation relies on parallel corpora for supervised translation, which is not feasible for program translation due to a dearth of aligned…