论文Agent 与开发者精选09:11AutoTrans：RISC-V安全断言自动翻译框架AutoTrans能自动将RISC-V安全断言从一种架构翻译到另一种，比人工翻译快且准确，解决了LLM翻译的幻觉问题。#AutoTrans#RISC-V#Deepseek V4#硬件安全aarXiv: DeepSeek@Sharjeel Imtiaz 等 3 人原文稍后读已读值得跟进有用关注 AutoTrans