2 papers
cs.AI2025
LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
Weidi Xu, Jingwei Wang, Lele Xie +7
Integrating first-order logic constraints (FOLCs) with neural networks is a crucial but challenging problem since it involves modeling intricate correlations to satisfy the constra…
cs.LG2025
Enhancing LLM Tool Use with High-quality Instruction Data from Knowledge Graph
Jingwei Wang, Zai Zhang, Hao Qian +7
Teaching large language models (LLMs) to use tools is crucial for improving their problem-solving abilities and expanding their applications. However, effectively using tools is ch…