CoTran: An LLM-Based Code Translator Using Reinforcement Learning with Feedback from Compiler and Symbolic Execution

被引:0
|
作者
Jana, Prithwish [1 ]
Jha, Piyush [1 ]
Ju, Haoyang [2 ]
Kishore, Gautham [3 ]
Mahajan, Aryan [4 ]
Ganesh, Vijay [1 ]
机构
[1] Georgia Institute of Technology, United States
[2] University of Toronto, Canada
[3] University of California San Diego, United States
[4] Columbia University, United States
关键词
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I
暂无
中图分类号
学科分类号
摘要
Computer aided language translation - High level languages - Input output programs - Java programming language - Machine translation - Program compilers - Python - Reinforcement learning - Software testing
引用
收藏
页码:4011 / 4018
相关论文
共 31 条
  • [1] LLM-Based Code Generation Method for Golang Compiler Testing
    Gu, Qiuhan
    PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 2201 - 2203
  • [2] LLM-based Control Code Generation using Image Recognition
    Koziolek, Heiko
    Koziolek, Anne
    2024 INTERNATIONAL WORKSHOP ON LARGE LANGUAGE MODELS FOR CODE, LLM4CODE 2024, 2024, : 38 - 45
  • [3] Enhancing LLM-Based Feedback: Insights from Intelligent Tutoring Systems and the Learning Sciences
    Stamper, John
    Xiao, Ruiwei
    Hou, Xinying
    ARTIFICIAL INTELLIGENCE IN EDUCATION: POSTERS AND LATE BREAKING RESULTS, WORKSHOPS AND TUTORIALS, INDUSTRY AND INNOVATION TRACKS, PRACTITIONERS, DOCTORAL CONSORTIUM AND BLUE SKY, AIED 2024, PT I, 2024, 2150 : 32 - 43
  • [4] Fuzzing JavaScript Interpreters with Coverage-Guided Reinforcement Learning for LLM-Based Mutation
    Eom, Jueon
    Jeong, Seyeon
    Kwon, Taekyoung
    ISSTA 2024 - Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, : 1656 - 1668
  • [5] Identifying Citizen-Related Issues from Social Media Using LLM-Based Data Augmentation
    dos Santos, Vitor Gaboardi
    Santos, Guto Leoni
    Lynn, Theo
    Benatallah, Boualem
    ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2024, 2024, 14663 : 531 - 546
  • [6] Identifying Compiler and Optimization Options from Binary Code using Deep Learning Approaches
    Pizzolotto, Davide
    Inoue, Katsuro
    2020 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2020), 2020, : 232 - 242
  • [7] From Simulation to Real World Maneuver Execution using Deep Reinforcement Learning
    Capasso, Alessandro Paolo
    Bacchiani, Giulio
    Broggi, Alberto
    2020 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2020, : 1570 - 1575
  • [8] Vulnerability Detection by Learning From Syntax-Based Execution Paths of Code
    Zhang, Junwei
    Liu, Zhongxin
    Hu, Xing
    Xia, Xin
    Li, Shanping
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2023, 49 (08) : 4196 - 4212
  • [9] STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning
    Singh, Nikhil Kumar
    Saha, Indranil
    THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 12, 2023, : 15118 - 15126
  • [10] Accelerating Reinforcement Learning using EEG-based implicit human feedback
    Xu, Duo
    Agarwal, Mohit
    Gupta, Ekansh
    Fekri, Faramarz
    Sivakumar, Raghupathy
    NEUROCOMPUTING, 2021, 460 : 139 - 153