Tadashi: Enabling AI-Based Automated Code Generation With Guaranteed Correctness
机构 * RIKEN Center for Computational Science(日本计算科学中心)
专题命中 代码生成 :code generation(title,abstract);分类 cs.LG
Comments Submitted to SC25
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
机构 * RIKEN Center for Computational Science(日本计算科学中心)
专题命中 代码生成 :code generation(title,abstract);分类 cs.LG
Comments Submitted to SC25
机构 * Department of Computer Science, City University of Hong Kong(香港城市大学计算机科学系) ; School of Computer Science and Engineering, Northeastern University(东北大学计算机科学与工程学院) ; School of Automation, Southeast University(东南大学自动化学院) ; National Center of Technology Innovation for EDA, China(中国EDA技术创新国家中心) ; School of Integrated Circuits, Southeast University(东南大学集成电路学院)
专题命中 代码生成 :code generation(title,abstract);分类 cs.AI
Comments Accepted to DAC 2025
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
Comments WWW' 2025
机构 * Department of Statistics and Data Science, Yale University(耶鲁大学统计与数据科学系) ; School of Information, University of Texas at Austin(德克萨斯大学奥斯汀分校信息学院)
专题命中 代码生成 :code generation(title,abstract);分类 cs.CL
Comments Accepted and to appear in IJCNN 2025
机构 * State Key Laboratory of Complex & Critical Software Environment, Beihang University(复杂与关键软件环境国家重点实验室,北京航空航天大学) ; School of Artificial Intelligence, Beihang University(人工智能学院,北京航空航天大学) ; Beijing Advanced Innovation Center for Future Blockchain and Privacy Computing(未来区块链与隐私计算北京先进创新中心) ; Beijing Academy of Blockchain and Edge Computing, BABEC(区块链与边缘计算北京研究院,BABEC)
专题命中 代码生成 :code generation(title,abstract);分类 cs.AI
机构 * Institute for AI Industry Research (AIR), Tsinghua University(人工智能产业研究院(AIR),清华大学) ; Shanghai Artificial Intelligence Laboratory(上海人工智能实验室) ; Beijing Academy of Artificial Intelligence (BAAI)(北京人工智能研究院)
专题命中 代码生成 :code generation(title,abstract);分类 cs.AI
Comments 13 pages, 5 figures
机构 * National Key Laboratory of Spintronics, Hangzhou International Innovation Institute(国家磁电子重点实验室、杭州国际创新研究院) ; School of Integrated Circuit Science and Engineering, Beihang University(集成电路科学与工程学院、北京航空航天大学)
专题命中 代码生成 :code generation(title,abstract);分类 cs.AI
Comments 9 pages, 4 figures
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
专题命中 代码生成 :code generation(title,abstract);分类 cs.CL
Comments arXiv admin note: text overlap with arXiv:2408.02193
专题命中 代码生成 :code generation(title,abstract);分类 cs.CL
专题命中 代码生成 :code generation(title,abstract);分类 cs.CL
Comments Published as a conference paper at ICLR 2025
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
Comments ICSE 2025
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
专题命中 代码生成 :code generation(title,abstract);分类 cs.AI
专题命中 代码生成 :code generation(title,abstract);分类 cs.CL
专题命中 代码生成 :code generation(title,abstract);分类 cs.LG
Comments 8 pages, 7 figures
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
Comments UNDER REVIEW
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
专题命中 代码生成 :code generation(title,abstract);分类 cs.CL
专题命中 代码生成 :code generation(title,abstract);分类 cs.CL
Comments accepted to 47th International Conference on Software Engineering (ICSE 2025), NIER track
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
Comments This is the author's version of the work. It is posted here for your personal use. Not for redistribution
专题命中 代码生成 :code generation(title,abstract);分类 cs.AI
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
Comments Accepted by the ACM Transactions on Software Engineering and Methodology (TOSEM 2024)
专题命中 代码生成 :code generation(title,abstract);分类 cs.SE
Comments To appear in the 47th IEEE/ACM Conference on Software Engineering (ICSE 2025). The first three authors contributed equally to this work