Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
Learning to Reason with Insight for Informal Theorem Proving
Yunhe Li, Hao Shi, Bowen Deng +8
Although most of the automated theorem-proving approaches depend on formal proof systems, informal theorem proving can align better with large language models' (LLMs) strength in n…
cs.AI2025
Large Language Models for Interpretable Mental Health Diagnosis
Brian Hyeongseok Kim, Chao Wang
We propose a clinical decision support system (CDSS) for mental health diagnosis that combines the strengths of large language models (LLMs) and constraint logic programming (CLP).…