2 papers
cs.AI2025
SHERPA: A Model-Driven Framework for Large Language Model Execution
Boqi Chen, Kua Chen, José Antonio Hernández López +3
Recently, large language models (LLMs) have achieved widespread application across various fields. Despite their impressive capabilities, LLMs suffer from a lack of structured reas…
cs.SE2025
LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation
Boqi Chen, Aren A. Babikian, Shuzhao Feng +2
Requirements over strings, commonly represented using natural language (NL), are particularly relevant for software systems due to their heavy reliance on string data manipulation.…