实体 Plotkin

Plotkin

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

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_353817 · Nov 11 · 23:33

AWS博客详细介绍使用反统一对形式化策略进行语义差异化

一个新开源引擎利用反统一对形式化策略进行语义差异化，识别不同策略版本之间的共性和分歧。这种方法在AWS机器学习博客文章中有所详述，它超越了文本差异，突出了含义的变化，有助于自动形式化等任务，在这些任务中，LLM可能会产生不同的输出。该引擎与e-graphs和代数定律协同工作，以查找共享模式和特定差异，提供比传统方法更具信息量的比较。