arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~

AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2025-10-15 至 2025-10-15 共收录 2 信号源:cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 代码生成 2 篇

2311.02433 2025-10-15 cs.SE cs.AI cs.FL cs.LG cs.LO 67%

Can ChatGPT support software verification?

Christian Janßen, Cedric Richter, Heike Wehrheim

机构 * Carl-von-Ossietzky Universität Oldenburg(奥尔登堡卡尔·冯·奥西特齐大学)

专题命中 代码生成 :code generation(abstract);分类 cs.SE、cs.AI、cs.LG

Comments accepted at Fundamental Approaches to Software Engineering 2024

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.10661 2025-10-15 cs.CL cs.AI 62%

AGENTIQL: An Agent-Inspired Multi-Expert Framework for Text-to-SQL Generation

Omid Reza Heidari, Siobhan Reid, Yassine Yaakoubi

机构 * Concordia University(康科德大学)

专题命中 代码生成 :coding agent(abstract);分类 cs.CL、cs.AI

Comments Accepted at NeurIPS 2025, ER "Efficient Reasoning" workshop

详情

展开后加载摘要…

URL PDF HTML 收藏