值得一提的是,这4名成员全都被保送清华。 全球最富盛名的第35届国际信息学奥林匹克竞赛(IOI 2023)获奖名单出炉了。 本届IOI,共有金牌30枚、银牌58枚、铜牌90枚。 经过两天的比赛,中国队4位选手一举拿下四枚金牌,以绝对优势取得团体第一。 根据IOI官网公布信息,中国团队四位选手的个人总分分别是: 许庭强(中国人民大学附属中学):总分580分,金牌第1名。 目前,程思元已经被保送清华,他将在读完高二后选择去学习清华大学的预科课程,未来他希望从事网络安全方面的科研,帮助国家建立一个安全的网络环境。 戚朗瑞 戚朗瑞是威海实验高中的04级「钱学森班」一班的学生,现已经签约保送到清华大学。 刘一平 刘一平是潍坊第一中学高二的学生,现在正式被清华清华学堂计算机科学实验班「姚班」录取。
近日,清华大学朱军、陈键飞团队提出了用于神经网络训练的 4 比特优化器,节省了模型训练的内存开销,同时能达到与全精度优化器相当的准确率。 本文在基础上,将优化器状态的数值精度进一步降低至 4 比特,提出了针对不同优化器状态的量化方法,最终提出了 4 比特 AdamW 优化器。 本文在众多经典的任务上对 4 比特优化器进行了评估,包括自然语言理解、图像分类、机器翻译和大模型的指令微调。 在所有的任务上,4 比特优化器达到了与全精度优化器可比的效果,同时能够占用更少的内存。 可以看到,在所有的微调任务上,包括 NLU,QA,NLG,4 比特优化器可以匹配甚至超过 32 比特 AdamW,同时在所有的预训练任务上,CLS,MT,4 比特优化器达到与全精度可比的水平。 从指令微调的任务中可以看到,4 比特 AdamW 并不会破坏预训练模型的能力,同时能较好地使它们获得遵守指令的能力。 之后,我们测试了 4 比特优化器的内存和计算效率,结果如下表所示。
达成这一成就的是来自清华大学智能产业研究院(AIR)的AIRFold。 AIRFold在近4周的比赛中,不仅预测结果IDDT分数领先,系统响应时间上也远远领先后几名的团队。 亮眼成绩如何取得?后续又有哪些研究和应用方向? 带着这些问题,我们联系到项目负责人清华大学智能产业研究院清华大学智能产业研究院(AIR)的兰艳艳教授,与她进行了深入交流。 下面送上对话实录,为方便阅读,我们在不改变原意的基础上做了编辑整理。 团队介绍 AIRFold来自清华大学智能产业研究院兰艳艳教授团队。 △AIRFold团队 清华大学智能产业研究院(AIR)AI+生命科学团队招聘博士后/科研工程师/实习生,主要从事AI for Science的交叉学科研究,利用深度学习、自然语言处理、信息检索等领域的前沿方法
---- 新智元报道 编辑:好困 【新智元导读】近日,清华大学提出的非成对人脸照片肖像线条画生成方法,被IEEE Transactions on Pattern Analysis and 而这4篇论文有着相同的一作:易冉。 易冉现在是上海交通大学计算机系助理教授。她于2016年获得清华大学工学学士学位,2021年获得清华大学工学博士学位。 她的博士学位论文《艺术肖像画的多风格与跨模态深度生成模型研究》,受到答辩委员会主席张钹院士、委员查红彬教授、陈熙霖教授、史元春教授和胡事民教授的一致好评,入选2021年清华大学优秀博士学位论文。 课题组部分成员合影 连续4年发表顶刊顶会论文 2022 论文链接:https://doi.org/10.1109/TPAMI.2022.3147570 代码链接:https://github.com https://doi.org/10.1109/CVPR42600.2020.00824 https://github.com/yiranran/Unpaired-Portrait-Drawing[4]
IN3),旨在通过显式请求来检测用户的隐式意图,基于 IN3,作者训练了一个强大模型Mistral-Interact(开源),它可以主动评估任务模糊性,询问用户意图,性能更符合人类喜好,可与闭源GPT-4 Mistral-Interact 的性能更符合人类喜好,远优于之前的 LLaMA 和 Mistral 系列,可与闭源 GPT-4 相媲美,但规模要小得多。 实验结果 根据IN3训练得到Mistral-Interact,与Mistral-7B、LLaMA-2-7B、GPT-4对比结果如下图所示。 可以发现: 1、Mistral-Interact在用户判断方面表现出色,特别擅长预测任务模糊和缺失细节,胜过其他开源模型,接近甚至超越GPT-4的性能。 4、与GPT-4相比,Mistral-Interact在性能上表现相当,甚至在某些方面超越,同时更为经济高效。
修改为清华源 直接打开cmd输入一下命令 conda config --add channels https://mirrors.tuna.tsinghua.edu.cn/anaconda/pkgs/free 移除清华源 输入:conda config --remove channels https://mirrors.tuna.tsinghua.edu.cn/anaconda/cloud/conda-forge / 这个命令是为了移除之前conda config --show channels显示的清华源。
---- 新智元报道 来源:清华大学 编辑:yaxin 【新智元导读】高考倒计时4天!清华大学发布了励志短片《破壁少年》,改编自2015年清华学子在美国SC超算比赛夺冠的真实故事。 今天,距离2021高考只剩下4天。 为了点燃这股热情,清华大学推出了励志短片《破壁少年》。 即便只有0.01%的希望,仍要点燃100%的斗志。 在今年TOP500的超算排名中,中国的两台超算神威·太湖之光和天河二号分别位居第4第5位。 110周年校庆迎来了集成电路学院 在110周年校庆即将来临之际,清华大学「集成电路学院」揭牌成立! 清华大学在我国集成电路人才培养上始终发挥着中流砥柱的作用。
清华:https://pypi.tuna.tsinghua.edu.cn/simple 阿里云:http://mirrors.aliyun.com/pypi/simple/ 中国科技大学 https:/
近日,来自清华大学、哈佛大学等机构的研究团队提出了一种创新方法4D LangSplat,基于动态三维高斯泼溅技术,成功重建了动态语义场,能够高效且精准地完成动态场景下的开放文本查询任务。 4D开放词汇查询 研究人员将4D开放词汇查询任务定义为两个子任务:时间无关的查询和时间敏感的查询。 实验 实验设置 由于目前缺乏针对4D语义查询的标注数据,研究人员在HyperNeRF和Neu3D这两个数据集上进行了手工标注,构建了一个专门用于4D语义查询的数据集。 贡献 使用MLLM生成的对象文本描述构建4D语言特征。 为了对4D场景中对象的状态间平滑过渡进行建模,进一步提出了一个状态可变形网络来捕捉连续的时间变化。 通过人工标注,研究人员构建了一个用于4D开放词汇查询的数据集,为未来相关方向的研究提供了定量化的指标。 参考资料: https://4d-langsplat.github.io/
etc/apt/sources.list /etc/apt/sources.list.backup 第二部修改: sudo gedit /etc/apt/sources.list 把弹出来的文档清空换位清华源
论文共同第一作者张金涛、黄浩峰分别来自清华大学计算机系和交叉信息研究院,论文通讯作者陈键飞副教授及其他合作作者均来自清华大学计算机系。 大模型中,线性层的低比特量化已经逐步落地。 此前,清华大学陈键飞团队提出的 8-Bit 的即插即用 Attention(SageAttention),将 Attention 中的 QK^T 量化至 INT8,将 PV 保持为 FP16 精度并使用 4-Bit 注意力量化有什么问题? 这使得相比直接量化 Q, K 至 INT4 的准确度有质的改变,如下表展示了对比了该方法和直接量化 Q, K 至 INT4 在 Cogvideo 和 Llama3.1 上的端到端表现。 (4)针对 P 和 V,研究团队对比了多种量化的数据类型,对比发现使用 E4M3 数据格式的 FP8 精度最准确,基本接近了 FP16 的准确度。因此采用将 P 和 V 量化至 E4M3。
show_channel_urls: true channels: - https://mirrors.tuna.tsinghua.edu.cn/anaconda/pkgs/main/ - https://mirrors.tuna.tsinghua.edu.cn/anaconda/pkgs/free/ - https://mirrors.tuna.tsinghua.edu.cn/anaconda/cloud/conda-forge/ - https://mirrors.tuna.tsinghua.edu.cn/anaconda/cloud/fastai/ - https://mirrors.tuna.tsinghua.edu.cn/anaconda/cloud/pytorch/ - https://mirrors.tuna.tsinghua.edu.cn/anaconda/cloud/bioconda/ - defaults ssl_verify: true
Python配置清华镜像源 1.前言 使用pip 安装服务器在国外的python 库时,下载需要很长时间,在配置文件中设置国内镜像可以提高速度,清华镜像源就是其中之一。 4.默认配置(永久配置) pip install pip -U pip config set global.index-url https://pypi.tuna.tsinghua.edu.cn/simple
新智元报道 编辑:Aeneas 【新智元导读】GPT-4V的开源替代方案来了!极低成本,性能却类似,清华、浙大等中国顶尖学府,为我们提供了性能优异的GPT-4V开源平替。 国外的一位开发者Youssef Hosni为大家奉上了三种GPT-4V的开源替代方案,可访问性绝对可以保障。 LLaVA表现出一些接近GPT-4水平的多模态能力,在视觉聊天方面,GPT-4相对评分85%。 而在推理问答方面,LLaVA甚至达到了新SoTA——92.53%,击败多模态思维链。 CogAgent CogAgent是在CogVLM基础上改进的开源视觉语言模型,来自清华的研究者。 CogAgent-18B有110亿个视觉参数,和70亿个语言参数。 参考资料: https://yousefhosni.medium.com/discover-4-open-source-alternatives-to-gpt-4-vision-82be9519dcc5
4.湖北地区武汉、鄂州、天门情况较严重,神农架、黄冈、潜江疫情增长率较低。 湖北地区武汉、鄂州、天门情况较严重 我们用多维度的可视化方法,对 2 月 9 日湖北各地级市的疫情情况进行了分析和展示(见图 4)。 虚线是全国确诊人数的增长率。 图 4:2 月 9 日湖北疫情的可视化分析 在图中,每个城市由一个圆形表示,大小反映了该城市的累计的治愈和死亡的人数。 往期分析: "清华-腾讯联合实验室"针对疫情的分析3:非湖北新增病例五连降,意味着什么? "清华-腾讯联合实验室"针对疫情的分析2:除了湖北,还有5省疫情严峻 "清华-腾讯联合实验室"针对疫情的分析1:新冠肺炎疫情拐点何时出现? ?
机器之心专栏 机器之心编辑部 GPT-4 近日开放了视觉模态(GPT-4V)。 为了更好地理解商用 MLLMs 的漏洞,清华朱军教授领衔的人工智能基础理论创新团队围绕商用 MLLM 的对抗鲁棒性展开了研究。 尽管 GPT-4V、谷歌 Bard 等模型开放了多模态接口,但其内部模型结构和训练数据集仍然未知,且配备了复杂的防御机制。 替代模型:对于图像特征攻击选用的替代模型为 ViT-B/16、CLIP 和 BLIP-2 的图像编码器;对于文本描述攻击选用 BLIP-2、InstructBLIP 和 MiniGPT-4。 下图分别展示了针对 GPT-4V、Bard、Bing Chat 上对抗样本攻击成功的示例。 图 2:攻击 GPT-4V 示例,将羚羊描述为手。
以前安装生信软件,可以用conda方便地安装,现在清华镜像源不能用了。如果想用conda需要把之前添加的清华和中科大镜像源都删除。condarc下删除就可以了。
清华成为唯一入选CS世界前10的中国高校,位列第4。 因为疫情,今年正好赶上了最难求学季,但一年一度的大学排名还是如约而至。 近日,USNews发布了最新的2021世界大学排行榜。 清北是唯二进入全球前100的高校,相比于英美还有不小的差距,其中清华排名第28,北大排名第51,相比去年均进步了8位。 值得一提的是,这是清华大学首次超过新加坡国立大学,登顶亚洲第一。 清华CS全球排名第四,亚洲第一 重点来了!在备受关注的世界大学计算机科学专业排名中,收录的500所高校,有152所亚洲高校,67所大陆高校,清华成为唯一入选世界前10的高校,排名第4! 去年和前年,清华的US News CS排名一直是世界第一。 今年清华在CS方面各项指标的具体分数为, CS前五名分别为斯坦福大学、麻省理工学院、卡内基梅隆大学、清华大学和加州大学伯克利分校。
0.20.0-py27_0 defaults --> 0.24.0-py27hc56fc5f_0 defaults mkl: 2018.0.0-h36b65af_4