#Deepseek V4

共 2 条 · 7 天 0 条 · 30 天 0 条

AutoTrans 1 RISC-V 1 形式验证 1 硬件安全 1

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

9月10日

论文 Agent 与开发者多源确认精选09:11

AutoTrans：RISC-V安全断言自动翻译框架

AutoTrans能自动将RISC-V安全断言从一种架构翻译到另一种，比人工翻译快且准确，解决了LLM翻译的幻觉问题。

#AutoTrans #RISC-V #Deepseek V4 #硬件安全

arXiv: DeepSeek@Sharjeel Imtiaz 等 3 人3 个信源在谈原文

6月19日

技巧 Agent 与开发者13:12

Codex用Claude Code干活，支持多模型讨论的MCP开源了

作者自己写了MCP让Codex调用Claude Code，还能用智谱GLM-5.2、Deepseek V4便宜模型，开发翻译都方便，已开源快去用。

#Codex #Claude Code #智谱GLM-5.2 #Deepseek V4

向阳乔木@vista8原文