類似資料

• SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
  著者:: Ma, Lezhi, 等
  出版事項: (2024)
• SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
  著者:: Ma, Lezhi, 等
  出版事項: (2026)
• Do Code Semantics Help? A Comprehensive Study on Execution Trace-Based Information for Code Large Language Models
  著者:: Wang, Jian, 等
  出版事項: (2025)
• Intention is All You Need: Refining Your Code from Your Intention
  著者:: Guo, Qi, 等
  出版事項: (2025)
• ClassEval-T: Evaluating Large Language Models in Class-Level Code Translation
  著者:: Xue, Pengyu, 等
  出版事項: (2024)