筛选器
筛选结果 5篇
【潞辰】Open-Sora 2.0开源权重、推理代码及训练过程
Open-Sora 2.0—— 全新开源的 SOTA（State-of-the-Art）视频生成模型正式发布，仅用 20 万美元（224...
160
0
5个月前
Goedel-Prover证明器与DeepSeek-Prover推理模型对比
最近一段时间，以 DeepSeek-R1 为代表的大型推理模型可谓是「当红炸子鸡」，不过整体来说，这些模型所做的推理都属于非形式化推理（informal r...
68
0
6个月前
