arXiv· Arslan Bisharat·· 9 天前推荐指数58
ALIAS：评估 LLM 生成 TLA+ 规格时的性能与记忆效应
ALIAS: Evaluating Performance and Memorization in LLM-Written TLA+ Specifications
AI 导读
论文提出 ALIAS 方法，在 TLA+-Bench 的 111 个任务上检验一致标识符重命名（CIR）作为记忆检测手段的有效性，TLA+ 模型检查器作为行为判定的 oracle。
来源：arXiv · arxiv.org