From the 2 of 8 linked papers with an AI index.
4 papers · 1 filter
Design-Specification Tiling for ICL-based CAD Code Generation
Yali Du, San-Zhuo Xi, Hui Sun +1
The paper introduces Design‑Specification Tiling, a method for selecting in‑context learning exemplars that maximizes coverage of CAD design requirements, using a knowledge‑suffici…
SpecRL: Reinforcement Learning with Test-Based Completeness Rewards for Formal Specification Synthesis
Zhechong Huang, Zhao Zhang, Zeyu Sun +2
SpecRL is a reinforcement learning system that improves automatic generation of program specifications by rewarding candidates that reject impossible behaviors identified through g…
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…