← 返回名录条目信息来自其公开主页与公开发布内容。按本站规范，页面不展示任何联系方式。 需要更正或删除？通过收录与更正通道提交，24 小时内处理。
Y
Yichuan Wang
Applied Mathematics M.S. @ Fudan · Scientific ML · AI4Science / AI4Math · AI agents · open source
- 公司
- Fudan University
- 位置
- Shanghai, China
- Stars
- 19
- 粉丝 / 仓库
- 56
代表作品 / 项目
- ai4math-chronicle⭐ 4Explore the breakthroughs reshaping AI for Mathematics — one evidence-backed timeline from theorem proving to mathematical discovery. 追踪重塑 AI4Math 的关键突破：从定理证明到数学发现，一条证据驱动的大事记。
- agentic-simulation-lab⭐ 4Agent-first automation, reproducible simulation, and physics-validation workflows for Ansys simulation software. 面向 Ansys 仿真软件的 Agent 优先自动化、可复现仿真与物理验证工作流。
- ai4math-radar⭐ 2A curated, evidence-aware radar for AI for Mathematics research. AI4Math 研究进展的精选、证据分层与持续追踪。
- jev-testbench⭐ 1A lightweight, auditable Jev testbench built through Agentic Engineering, with frozen evidence, a preregistered null result, and a bilingual technical blog. 基于 Agentic Engineering 的轻量、可审计 Jev 实验台，包含冻结证据、预注册负结果、双语技术博客与认知负债反思。
- Moonshine⭐ 1Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.