Ananke

研究方向 ml || dm || cv || AI4M || 数理逻辑 || 代数数论 || 形式化 211数学系大二 和同济陈小杨教授合作发起AI x Math 社区 数学建模国一 上海人工智能实验室助教 ETH Wuhan 第七 BotChain分赛道奖 另外，也比较擅长艺术视觉、人文叙述，曾在武汉知名画廊实习，参与主办华中地区最大的插画艺术节，参与策划数十场人文沙龙，与武汉20+艺术空间/咖啡馆建立合作关系，高中在文学社担任主编 目前正在筹办数学黑客松，11.7-11.8，50人线上（因为有Caltech珠玉在前，政治敏感，不好做线下大规模），报名问卷： https://gcnnwj5ae1we.feishu.cn/share/base/form/shrcn7UO6wo29cFWklVvPuXLpJf 学校经历 BICMR lean 4数学形式化项目 香港理工数学系访问学生（全额资助） 南开数学系数理逻辑暑校（全额资助） 复旦哲学系数理逻辑暑校