#Verus

共 1 条 · 7 天 0 条 · 30 天 0 条

Nemotron 1 NVIDIA 1 形式化证明 1 微调 1

信息流里打上「Verus」标签的资讯、产品与论文，按刊登时间排，新的在上。

8月13日

模型多源确认精选18:04

Nemotron 3.5 Lightning微调模型，30B形式化证明胜过50倍

Reasonable微调了NVIDIA的30B开源模型，形式化证明通过率胜过50倍大的模型，生成还更快。博客还拆解了模型怎么作弊。

#Nemotron #NVIDIA #Verus #微调

官方账号NVIDIA AI@NVIDIAAI11 个信源在谈原文