VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
AI 大模型
大语言模型、预训练、指令微调、后训练和语言模型应用。
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments Accepted by IEEE International Conference on Communications (ICC), June 2025, Montreal, Canada
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments 8 pages, 2 figures
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments Advancing Artificial Intelligence through Theory of Mind Workshop at AAAI 2025
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments An extended technical report for the paper accepted at SIGMOD 2025
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments This paper is accepted by the IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) 2025
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Journal ref 2024 IEEE International Conference on Software Maintenance and Evolution (ICSME), Flagstaff, AZ, USA, 2024, pp. 624-629
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title);language model(title);LLM(abstract);分类 cs.CL、cs.AI、cs.LG
Comments 6 pages, 3 figures
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :language model(title,abstract);prompting(title);large language model(abstract)
Comments Accepted at BMVC 2023 (Camera-Ready Version)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments Accepted by ASE'24
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments This submission was a test to evaluate the arXiv submission process and is being withdrawn as it was not intended for formal publication. No research findings are included, and no errors or corrections apply
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments 35 pages
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments 10 pages, 3 figures
专题命中 其他LLM :language model(title,abstract);large language model(title);分类 cs.CL、cs.AI、cs.LG
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments Added example applying the approach to measuring attitude properties from Twitter data
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments I will revise the rejected paper when I have time. More Authors TBA. arXiv admin note: text overlap with arXiv:2304.10785
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
Comments Accepted at 18th International Symposium on Empirical Software Engineering and Measurement (ESEM), pages 1-7, 2024
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title,abstract);language model(title,abstract)
专题命中 其他LLM :large language model(title);language model(title);LLM(abstract);分类 cs.CL、cs.AI、cs.LG
Comments 13 pages