Inference-Time Code Selection via Symbolic Equivalence Partitioning
推理时通过符号等价划分进行代码选择
机构 * Texas Instruments（德州仪器）
专题命中 测试生成 ：code generation(abstract)；分类 cs.AI、cs.LG
AI总结 本文提出SEP框架，通过符号执行将候选程序划分为功能等价类，提升推理时代码选择的准确性，无需辅助测试生成或额外LLM推理。
AI 大模型
代码大模型 / AI 编程
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
