新闻中心 
-
10-23陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向尝鲜GPT-4之后，陶哲轩又用上了GithubCopilot。这一次，他的试用场景是学习Lean语言并利用其形式化数学定理。对于大模型来说，形式化的定理证明也算...
-
10-19把LLM视作操作系统，它就拥有了无限「虚拟」上下文，伯克利新作已揽1.7k star近年来，大语言模型（LLM）及其底层的transformer架构已经成为了对话式AI的基石，并催生了广泛的消费级和企业应用程序。尽管有了长足的进步，但LLM使用...
-
10-10【论文解读】基于图的自监督学习联合嵌入预测架构一、简要介绍本文演示了一种学习高度语义的图像表示的方法，而不依赖于手工制作的数据增强。论文介绍了基于图像的联合嵌入预测架构（I-JEPA），这是一种用于从图像中...
-
09-27基于电荷的原子模拟实现，利用预训练通用神经网络CHGNet重新编写的内容是：紫罗复杂电子相互作用的大规模模拟仍然是原子建模面临的最大挑战之一。虽然经典力场通常无法描述电子态和离子重排之间的耦合，但更准确的从头算分子动力...
-
09-15想让大模型在prompt中学习更多示例，这种方法能让你输入更多字符基于Transformer的大型语言模型（LLM）已经展现出执行上下文学习（ICL）的强大能力，并且几乎已经成为许多自然语言处理（NLP）任务的不二选择。Tra...
