Zhuokai Zhao· zhuokaiz·· 8 天前AI 评分21
SplitJEPA 项目论文及代码发布
Project: https://splitjepa.github.io Paper: https://arxiv.org/abs/2610.12349 Code and Lean 4 proofs: https://github.com/splitjepa/splitje...
AI 导读
项目：https://splitjepa.github.io 论文：https://arxiv.org/abs/2610.12349 代码与 Lean 4 证明：https://github.com/splitjepa/splitjepa.github.io…
来源：Zhuokai Zhao · x.com