2 papers
cs.SE2025
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
Junjie Sheng, Yanqiu Lin, Jiehao Wu +4
The Satisfiability (SAT) problem is a core challenge with significant applications in software engineering, including automated testing, configuration management, and program verif…
cs.CL2024
Concise and Precise Context Compression for Tool-Using Language Models
Yang Xu, Yunlong Feng, Honglin Mu +9
Through reading the documentation in the context, tool-using language models can dynamically extend their capability using external tools. The cost is that we have to input lengthy…