2 papers
cs.PL2026
Guiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
Tianchi Li, Zhenyu Yan, Junhao Liu +2
We propose a novel framework that provides constructive feedback to an LLM in the "guess-and-check" paradigm by formally verifying its own thinking process and detecting local reas…
cs.SE2025
Efficient Function Orchestration for Large Language Models
Xiaoxia Liu, Peng Di, Cong Li +2
Function calling is a fundamental capability of today's large language models, but sequential function calling posed efficiency problems. Recent studies have proposed to request fu…