Semantic Reification:随机程序生成的新范式
摘要
介绍了 Semantic Reification,一种随机程序生成的新范式,如本研究论文所述。
<p><a href="https://lobste.rs/s/2ofo2s/semantic_reification_new_paradigm_for">评论</a></p>
查看缓存全文
缓存时间: 2026/06/05 07:06
无法识别有效的英文文章内容。提供的原始数据是PDF的底层结构(对象、字体、流等),并非可读的格式化文本。请提供纯文本或Markdown格式的源内容以便翻译。
相似文章
语义具体化:如何生成任意控制流且无未定义行为的代码?
Reify 是一款基于语义具体化技术的开源随机 C 程序生成器,能够生成不含未定义行为的代码,专用于编译器测试。它已在 GCC 和 LLVM 中发现了 59 个 bug,并在 OpenJ9 和 Linux 的 eBPF 运行时中发现了额外的缺陷。
重新思考 Search as Code Generation (25分钟阅读)
Perplexity 引入了 Search as Code (SaC),这是一种新的架构,它将搜索原语原子化,供AI代理通过代码组合,超越了传统的单体搜索管道,实现了对检索的细粒度控制。
Semantic Browsing: 图像生成中的可控多样性
Semantic Browsing 引入了一种方法,通过使用一个 Vision Language Model 和代理工作流,在文本到图像生成中实现基于语义决策的结构化、可解释的可控多样性。
基于语义奖励的强化学习实现低资源语言扩展而无对齐代价
本文提出使用基于语义奖励的强化学习(通过GRPO)来将LLM扩展到低资源语言,避免了典型的灾难性遗忘对齐代价,展示了相比监督微调更好的语义质量和迁移性。
ReSyn: 一种广义的递归正则表达式合成框架
ReSyn是一个广义的递归框架,用于从示例中合成正则表达式,旨在改进现有的合成技术。