Copertina

Large Language Models for Interpretable Mental Health Diagnosis

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kim, Brian Hyeongseok, Wang, Chao
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Large Language Model for OWL Proofs
di: Yang, Hui, et al.
Pubblicazione: (2026)

Can Large Language Models Autoformalize Kinematics?
di: Kabra, Aditi, et al.
Pubblicazione: (2025)

Laurel: Unblocking Automated Verification with Large Language Models
di: Mugnier, Eric, et al.
Pubblicazione: (2024)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
di: Zang, Zhengqing, et al.
Pubblicazione: (2026)

Large Language Models Imitate Logical Reasoning, but at what Cost?
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)

Enriching Ontologies with Disjointness Axioms using Large Language Models
di: Crum, Elias, et al.
Pubblicazione: (2024)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
di: Khalil, Khurram, et al.
Pubblicazione: (2025)

Why Cannot Large Language Models Ever Make True Correct Reasoning?
di: Cheng, Jingde
Pubblicazione: (2025)

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
di: Orvalho, Pedro, et al.
Pubblicazione: (2026)

A Logic of Uncertain Interpretation
di: Bjorndahl, Adam
Pubblicazione: (2025)

Generics and Default Reasoning in Large Language Models
di: Kirkpatrick, James Ravi, et al.
Pubblicazione: (2025)

Can Large Language Models Understand DL-Lite Ontologies? An Empirical Study
di: Wang, Keyu, et al.
Pubblicazione: (2024)

Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
di: Sulc, Antonin
Pubblicazione: (2026)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
di: Lee, Jihwan, et al.
Pubblicazione: (2024)

Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
di: Gladyshev, Maksim, et al.
Pubblicazione: (2025)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
di: Itoh, Kei
Pubblicazione: (2025)

Reasoning Capabilities of Large Language Models. Lessons Learned from General Game Playing
di: Świechowski, Maciej, et al.
Pubblicazione: (2026)

Aligning with Logic: Measuring, Evaluating and Improving Logical Preference Consistency in Large Language Models
di: Liu, Yinhong, et al.
Pubblicazione: (2024)

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
di: Bertossi, Leopoldo
Pubblicazione: (2026)

Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean
di: Song, Peiyang, et al.
Pubblicazione: (2024)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
di: Ferrando, Angelo
Pubblicazione: (2025)

Probabilistic Strategy Logic with Degrees of Observability
di: Mu, Chunyan, et al.
Pubblicazione: (2024)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
di: Kim, Chang-Eop
Pubblicazione: (2024)

Weighted Rules under the Stable Model Semantics
di: Lee, Joohyung, et al.
Pubblicazione: (2026)

Query Languages for Machine-Learning Models
di: Grohe, Martin
Pubblicazione: (2026)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
di: Joshi, Aniruddha, et al.
Pubblicazione: (2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
di: Allen, Bradley P., et al.
Pubblicazione: (2025)

CFaults: Model-Based Diagnosis for Fault Localization in C Programs with Multiple Test Cases
di: Orvalho, Pedro, et al.
Pubblicazione: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
di: Joyce, Johnny
Pubblicazione: (2025)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
di: Xu, Yang, et al.
Pubblicazione: (2025)

Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

The logic of KM belief update is contained in the logic of AGM belief revision
di: Bonanno, Giacomo
Pubblicazione: (2026)

Similarity-based analogical proportions
di: Antić, Christian
Pubblicazione: (2024)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
di: Meng, Qiaolan, et al.
Pubblicazione: (2025)

Llemma: An Open Language Model For Mathematics
di: Azerbayev, Zhangir, et al.
Pubblicazione: (2023)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
di: Davis, Liam, et al.
Pubblicazione: (2025)

A Uniform Language to Explain Decision Trees
di: Arenas, Marcelo, et al.
Pubblicazione: (2023)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
di: Wang, Ruolin, et al.
Pubblicazione: (2024)