报告：通往大模型安全之路报告时间：2024年12月9日16:00-17:00报告地点：理科大楼B1002腾讯会议：869265907（密码：761658）报告摘要:本次演讲将探讨与大模型，特别是大型语言模型（LLMs）相关的关键安全问题，同时介绍我们最近在分析和理解这些挑战方面的研究工作。具体来说，我们将回答以下关键问题。· 为什么LLMs的安全对齐常常易受诸如GCG和AutoDAN等攻击的影响？· 那些能够破坏LLM安全对齐的对抗性标记是随机的，还是具有内在意义？· 如何在有限的对齐数据下提升LLM的安全性？· 我们是否可以编辑LLMs，使其执行我们想要的任务？· 是否仅使用良性数据就可以完

报告：Tracking Redexes in the lambda-calculus (revisited)报告时间：2024年11月20日13:30-14:30报告地点：理科大楼B1202报告摘要:Jean-Jacques Lévy is a senior researcher emeritus at Inria Paris. He graduated from Ecole Polytechnique [1968] and got a PHD at University of Paris 7 [1978]. He was a member of the research staff at D

讲者简介：复旦大学教授，博导，入选国家级青年人才计划。在国际期刊和会议上（ICML,NeurIPS, JMLR, FOCS, TIT等）发飙高水平论文五十余篇，荣获了多项国际奖项，包括ICML 2018最佳论文亚军奖（bset paper runner uo award)，两次世界人工智能大会青年优秀论文提名奖（2020， 2023）， 以及ACM PODS 2022时间检验奖。报告摘要：多臂老虎机问题及其推广是在线学习中的经典模型，在人工智能和运筹优化等领域都受到了大量关注，在临床试验、广告投放和推荐系统等也有着广泛的实际应用。在本次报告中，我将简要回顾该问题的标准设置和经典算法。然后，讨论

报告一：MSR codes with linear field size and smallest sub-packetization for any number of helper nodes报告时间：2024年10月31日15:00-17:00报告地点：理科大楼B211报告摘要:The sub-packetization $\ell$ and the field size $q$ are of paramount importance in the MSR array code constructions. For optimal-access MSR codes, Balaji \em

报告题目：Acceleration of Real-Time CCSL报告时间：10月29日15：00-16：00报告地点：理科大楼B1002报告人：Frederic Mallet教授报告人简介：Frédéric MALLET is director of i3s Laboratory, a French joint research unit between CNRS and INRIA counting around 300 staff members. He is a Distinguished Professor at Université Côte d'Azur and is als

报告一、空间表示增强的道路网智能分析时间：10月28日15：00-16：30地点：数学馆202报告人：杨剑副教授（信息工程大学）报告人简介：杨剑，博士，本科和硕士毕业于国防科技大学电子科学与工程学院，博士毕业于德国慕尼黑工业大学制图系，长期从事众源地理空间数据智能分析与制图服务研究。近五年主持或作为主要完成人承担国家重点研发计划项目、国家自然科学基金重点项目、面上项目与青年项目等科研项目7项，在JTRG,JSTARTGIS等地学期刊和AAAI\ICRA\ICC等会议上发表学术论文40余篇，发明专利受理4项，软著3项，获省部级科技进步奖一等奖2项，担任IJGIS，CEUS,TGIS等国际期刊审稿