Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models
专题命中 长上下文与记忆 :large language model(title,abstract);language model(title,abstract)
AI 大模型
大语言模型、预训练、指令微调、后训练和语言模型应用。
专题命中 长上下文与记忆 :large language model(title,abstract);language model(title,abstract)
机构 * 1 Robotic Systems Lab, ETH Zurich, Zurich, Switzerland 2 Spatial AI \& Robotics Lab, University at Buffalo, Buffalo, NY, USA
专题命中 长上下文与记忆 :pretraining(abstract)
Comments 22 pages