Formal-LLM: Integrating Formal Language and Natural Language for Controllable LLM-based Agents
The research paper presents a new framework called ‘Formal-LLM’ that integrates the expressiveness of natural language with the precision of formal language to control the plan generation of Large Language…
Continue reading