Lemur: Integrating Large Language Models in Automated Program Verification
专题命中 其他推理 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Accepted at ICLR'24
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
专题命中 其他推理 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Accepted at ICLR'24
专题命中 其他推理 :reasoning(abstract);分类 cs.AI、cs.LG
Comments GLSVLSI 2024
专题命中 其他推理 :CoT(abstract);分类 cs.CL、cs.AI
Comments DASFAA 2024 Accepted
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.LG
专题命中 其他推理 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Accepted in CVPR 2024 as Poster (Highlight)
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.LG
Comments ICLR 2024
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.LG
Comments 9-page preprint. ICLR camera ready posted April 11
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Accepted to appear at AAAI 2024
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Accepted as a full paper in NAACL 2024 (Main)
专题命中 其他推理 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Accepted to The ACM Web Conference 2024 (WWW'24, short paper). Data and code are available
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Code is available at https://github.com/sail-sg/sailor-llm
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments Accepted by LREC-COLING 2024
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 其他推理 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Accepted to IEEE International Workshop on Foundation Models for Cyber-Physical Systems & Internet of Things (FMSys 2024)
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments 28 pages, 2 figures
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments 8 pages, 3 figures. To be published in Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1
专题命中 其他推理 :chain-of-thought(abstract);分类 cs.AI、cs.LG
专题命中 其他推理 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Fixed several typos
专题命中 其他推理 :chain-of-thought(abstract);分类 cs.CL、cs.LG
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.LG
Comments Accepted by Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice (ICSE SEIP 2024)
专题命中 其他推理 :reasoning(abstract);分类 cs.AI、cs.LG
Comments Preprint. Copyright by the authors. 19 pages, 24 figures
专题命中 其他推理 :chain-of-thought(abstract);分类 cs.AI、cs.LG
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
专题命中 其他推理 :reasoning(abstract);分类 cs.AI、cs.LG
Comments ICLR 2024 Spotlight. First two authors contributed equally
专题命中 其他推理 :reasoning(abstract);分类 cs.CL、cs.AI
Comments 21 pages, 13 figures