实体
Vasyl Lyashkevych Yaremovych
Vasyl Lyashkevych Yaremovych
PulseAugur coverage of Vasyl Lyashkevych Yaremovych — every cluster mentioning Vasyl Lyashkevych Yaremovych across labs, papers, and developer communities, ranked by signal.
总计 · 30天
1
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 3
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
新模型和基准独立于模型能力评估AI规范质量
研究人员开发了一个形式语义块模型，用于评估规范的质量，独立于AI模型的能力。该模型将规范表示为具有定义关系和规则的结构化组件，并接受机器可检查的条件。创建了一个基于执行的基准测试，通过观察独立实现者之间的一致性来经验性地估计确定性，并以Oracle到PostgreSQL的迁移规范为例进行了案例研究。虽然结果支持确定性作为一个形式概念，但它们表明它不是评估当代LLM实现者的足够独立的指标。
-
探索LLM Token优化在Oracle到PostgreSQL数据库迁移中的应用
一篇新研究论文探讨了在数据库迁移任务中，特别是在从Oracle迁移到PostgreSQL时，优化大型语言模型（LLM）Token使用量的策略。该研究识别了高Token消耗和语义漂移等挑战，并评估了十二种Token优化技术。自适应路由被证明是一种有前途的策略，在减少Token量和保持语义方面取得了良好的平衡。
-
新框架使用文本规范进行 LLM 驱动的代码再工程
研究人员开发了一个用于 LLM 介导的软件演进的新框架，该框架解决了直接代码到代码转换的挑战。该方法将源代码转换为中性文本规范，在不进行直接语法转换的情况下保留了重要的行为和语义信息。该框架包含提取、验证和生成等多个组件，旨在提供一个可控的再工程过程，最大限度地减少转换损失。