#Deepseek V4

2 stories · 0 in 7 days · 0 in 30 days

Stories, products and papers tagged "Deepseek V4", newest first.

Sep 10

Papers BuildersMulti-sourceSelected09:11

AutoTrans reduces hardware security verification time from hours to minutes per assertion, making it valuable for RISC-V developers in ASEAN.

arXiv: DeepSeek@Sharjeel Imtiaz et al. (3)3 sourcesSource

Jun 19

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

向阳乔木@vista8Source