PulseAugur
中
实时 10:01:47
实体 Dynamic Condition Response

Dynamic Condition Response

PulseAugur coverage of Dynamic Condition Response — every cluster mentioning Dynamic Condition Response across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_300834 ·

    新的基准SolBehave测试LLM生成的智能合约的正确性

    研究人员推出SolBehave，这是一个旨在评估大型语言模型生成的智能合约行为正确性的新基准。目前的评估主要集中在代码是否能编译，但鉴于以太坊等平台上的已部署智能合约无法修补，这还不够。SolBehave采用三种方法：差分模糊测试、历史交易重放和新颖的DCR图引导的合成交易重放，以测试生成合约的功能等价性和预期用途。研究发现，虽然七个评估过的开源模型在编译率上差异很大，但只有一小部分编译后的合约与其原始合约在功能上等价，其中Gemma…