1 citations · 1 across the 10 of their papers we have counts for
5 papers · 1 filter
Evaluating Language Models on Cross-Language Code Functional Equivalence
Hui Sun, Anderson Uchôa, Rohit Gheyi +1
Background: Large Language Models (LLMs) have demonstrated strong performance across a variety of code-understanding tasks, leading many to believe that they can reason about progr…
SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis
Zhechong Huang, Zhao Zhang, Zeyu Sun +2
Specification synthesis asks a model to generate specifications and auxiliary annotations for an existing program. In modern software verification projects, specification accuracy…
Design-Specification Tiling for ICL-based CAD Code Generation
Yali Du, San-Zhuo Xi, Hui Sun +1
Large language models~(LLMs) have demonstrated remarkable capabilities in code generation, yet their performance remains limited on domain-specific tasks such as Computer-Aided Des…
Post-Incorporating Code Structural Knowledge into Pretrained Models via ICL for Code Translation
Yali Du, Hui Sun, Ming Li
Code translation migrates codebases across programming languages. Recently, large language models (LLMs) have achieved significant advancements in software mining. However, handlin…
A Joint Learning Model with Variational Interaction for Multilingual Program Translation
Yali Du, Hui Sun, Ming Li
Programs implemented in various programming languages form the foundation of software applications. To alleviate the burden of program migration and facilitate the development of s…