Papers by Songhang Deng
ToolGate: Contract-Grounded and Verified Tool Execution for LLMs (2026.findings-acl)
Copied to clipboard
Yanming Liu, Xinyue Peng, Jiannan Cao, Xinyi Wang, Songhang Deng, Jintao Chen, Jianwei Yin, Xuhong Zhang
| Challenge: | Existing frameworks for tool-augmented LLMs rely heavily on natural language reasoning to determine when tools can be invoked and whether their results should be trusted. |
| Approach: | They propose a forward execution framework that provides logical safety guarantees and verifiable state evolution for LLM tool calling. |
| Outcome: | The proposed framework improves the reliability and verifiability of tool-augmented LLM systems while maintaining competitive performance on multi-step reasoning tasks. |