CAUSAL LAB · OPEN-SOURCE RESEARCH

开源研究项目

申请问卷与入组考核

上海财经大学统计与数据科学学院 2026年8月版

考核说明

面向 Causal Foundation Model / Causal ATLAS 与 DesignInfer：design-based inference 的 Lean 形式化 两个开源研究方向。

考核关注能否把研究问题转化为可运行、可复现、可审查的研究对象，无需堆砌篇幅、模型规模或代码行数。

选择提交阶段

第一部分应先于方向考核提交；完成项目后可再次选择“入组考核成果”提交。

首次申请问卷提交研究兴趣、能力证据、合作计划与个人简历。入组考核成果提交已完成的个人 project、报告、代码与复现材料。

基本信息与投入时间

姓名学校/单位院系专业年级所在城市邮箱个人主页或 GitHub（可选）

申请身份博士生硕士生科研助理研究实习

预计开始时间持续周期每周稳定投入

未来六个月已知的课程、考试、实习或其他冲突是什么？（不超过300字）0/300

方向选择与能力证据

Track ACausal Foundation Model / Causal ATLAS统计 + 机器学习Python / R围绕因果表格模型，构建从多源实验与观测证据到评估、迁移和下一步实验决策的最小原型。Track BDesignInfer：Lean 形式化形式化数学Lean 4将 design-based inference 中的定义、引理或定理转写为稳定的 Lean API，并提交经过内核检查的证明。

为什么对该方向感兴趣？（不超过400字）0/400它与你未来两年的学习或研究目标如何连接？（不超过400字）0/400代表性工作 1：问题、本人完成部分、可核验产出及他人/AI贡献（不超过600字）0/600代表性工作 2（可选，不超过600字）0/600基础能力：概率统计、线性代数、优化、因果推断、机器学习、软件工程或形式化证明（不超过600字）0/600

希望采用的协作方式独立负责结对协作参与较大模块

希望我们了解的其他信息（可选，不超过400字）0/400

方向考核成果

首次申请阶段无需填写本节。收到邀请并完成个人 project 后，请再次打开本表并选择“入组考核成果”。

材料、诚信与提交

可以使用生成式 AI、开源库与公开数据，但申请者必须理解并核验最终内容，保留关键输入、版本、输出、错误、修复与决策理由。禁止伪造结果或日志、隐瞒他人/AI的实质贡献、泄露密钥或提交无法解释的主要内容。

AI 使用说明（未使用请写“未使用”；不超过500字）0/500

个人简历（必需）

代表作或补充材料（可选）

单个文件不超过10MB，附件合计不超过25MB，最多8个文件。

签名日期

提交后将生成唯一回执，完整答案与附件会保存并发送审核提醒邮件。