BALI: Branch-Aware Loop Invariant Inference with Large Language Models
BALI: 基于分支的循环不变式推断与大语言模型
AI总结 BALI通过结合大语言模型和分支感知分析，提升循环不变式的推断和验证精度，实现更高效和自动化的不变式发现。
Comments 4 pages, 1 figure, AAAI-26 Bridge Program B10: Making Embodied AI Reliable with Testing and Formal Verification
