<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article PUBLIC "-//NLM//DTD Journal Publishing DTD v2.0 20040830//EN" "journalpublishing.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="2.0" xml:lang="en" article-type="research-article"><front><journal-meta><journal-id journal-id-type="nlm-ta">JMIR Form Res</journal-id><journal-id journal-id-type="publisher-id">formative</journal-id><journal-id journal-id-type="index">27</journal-id><journal-title>JMIR Formative Research</journal-title><abbrev-journal-title>JMIR Form Res</abbrev-journal-title><issn pub-type="epub">2561-326X</issn><publisher><publisher-name>JMIR Publications</publisher-name><publisher-loc>Toronto, Canada</publisher-loc></publisher></journal-meta><article-meta><article-id pub-id-type="publisher-id">v10i1e79242</article-id><article-id pub-id-type="doi">10.2196/79242</article-id><article-categories><subj-group subj-group-type="heading"><subject>Original Paper</subject></subj-group></article-categories><title-group><article-title>SleepPathfinder: A Socratic Questioning and Self-Decision&#x2013;Based Chatbot to Support User Engagement in Digital CBT-I: Usability and Feasibility Study</article-title></title-group><contrib-group><contrib contrib-type="author" equal-contrib="yes"><name name-style="western"><surname>Roh</surname><given-names>Youjin</given-names></name><degrees>MSc</degrees><xref ref-type="aff" rid="aff1">1</xref><xref ref-type="fn" rid="equal-contrib1">*</xref></contrib><contrib contrib-type="author" equal-contrib="yes"><name name-style="western"><surname>Yoon</surname><given-names>Anderson Sungmin</given-names></name><degrees>PhD</degrees><xref ref-type="aff" rid="aff2">2</xref><xref ref-type="fn" rid="equal-contrib1">*</xref></contrib><contrib contrib-type="author" corresp="yes" equal-contrib="yes"><name name-style="western"><surname>Oh</surname><given-names>Hayoung</given-names></name><degrees>PhD</degrees><xref ref-type="aff" rid="aff1">1</xref><xref ref-type="fn" rid="equal-contrib1">*</xref></contrib></contrib-group><aff id="aff1"><institution>Department of Applied Artificial Intelligence, Sungkyunkwan University</institution><addr-line>#32541, Dasan Hall of Economics, Humanities and Social Sciences Campus</addr-line><addr-line>Seoul</addr-line><country>Republic of Korea</country></aff><aff id="aff2"><institution>Department of Social Welfare, Sungkyunkwan University</institution><addr-line>Seoul</addr-line><country>Republic of Korea</country></aff><contrib-group><contrib contrib-type="editor"><name name-style="western"><surname>Stone</surname><given-names>Alicia</given-names></name></contrib></contrib-group><contrib-group><contrib contrib-type="reviewer"><name name-style="western"><surname>Yang</surname><given-names>Lulu</given-names></name></contrib><contrib contrib-type="reviewer"><name name-style="western"><surname>Mansoor</surname><given-names>Masab</given-names></name></contrib></contrib-group><author-notes><corresp>Correspondence to Hayoung Oh, PhD, Department of Applied Artificial Intelligence, Sungkyunkwan University, #32541, Dasan Hall of Economics, Humanities and Social Sciences Campus, Seoul, Republic of Korea, 82 2-740-1785, 82 2-740-1785; <email>hyoh79@skku.edu</email></corresp><fn fn-type="equal" id="equal-contrib1"><label>*</label><p>all authors contributed equally</p></fn></author-notes><pub-date pub-type="collection"><year>2026</year></pub-date><pub-date pub-type="epub"><day>9</day><month>6</month><year>2026</year></pub-date><volume>10</volume><elocation-id>e79242</elocation-id><history><date date-type="received"><day>22</day><month>06</month><year>2025</year></date><date date-type="rev-recd"><day>18</day><month>02</month><year>2026</year></date><date date-type="accepted"><day>19</day><month>02</month><year>2026</year></date></history><copyright-statement>&#x00A9; Youjin Roh, Anderson Sungmin Yoon, Hayoung Oh. Originally published in JMIR Formative Research (<ext-link ext-link-type="uri" xlink:href="https://formative.jmir.org">https://formative.jmir.org</ext-link>), 9.6.2026. </copyright-statement><copyright-year>2026</copyright-year><license license-type="open-access" xlink:href="https://creativecommons.org/licenses/by/4.0/"><p>This is an open-access article distributed under the terms of the Creative Commons Attribution License (<ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link>), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work, first published in JMIR Formative Research, is properly cited. The complete bibliographic information, a link to the original publication on <ext-link ext-link-type="uri" xlink:href="https://formative.jmir.org">https://formative.jmir.org</ext-link>, as well as this copyright and license information must be included.</p></license><self-uri xlink:type="simple" xlink:href="https://formative.jmir.org/2026/1/e79242"/><abstract><sec><title>Background</title><p>Chronic insomnia is a highly prevalent sleep disorder that adversely affects quality of life and mental health. Cognitive behavioral therapy for insomnia (CBT-I) is internationally recommended as the first-line treatment, and digital CBT-I (dCBT-I) has been developed to improve accessibility and scalability. While existing dCBT-I systems effectively support structured behavioral training through standardized protocols, they provide relatively limited support for users&#x2019; cognitive exploration and meaning-making processes, particularly in helping users reflect on and internalize the rationale behind CBT-I practices in daily life. These limitations may contribute to challenges in sustained engagement and long-term adherence.</p></sec><sec><title>Objective</title><p>This study aimed to examine the usability and feasibility of SleepPathfinder, a conversational CBT-I support chatbot that integrates Socratic questioning and a self-decision mechanism to support users&#x2019; understanding of and engagement with CBT-I practices.</p></sec><sec sec-type="methods"><title>Methods</title><p>SleepPathfinder was designed around a 4-stage conversational flow: education on CBT-I techniques, Socratic cognitive exploration, self-decision, and advice provision. We conducted (1) a single-session pilot usability study (n=45) to assess system stability and user experience and (2) a 5-day condition-based comparative experiment (n=30) consisting of daily sessions, comparing an exploratory dialogue condition with a directive, protocol-guided dialogue condition. Quantitative measures assessed usability, cognitive appraisals related to sleep problems, autonomy-related experiences, and behavioral readiness, while qualitative feedback and conversational log analyses were used to examine interaction patterns and engagement characteristics.</p></sec><sec sec-type="results"><title>Results</title><p>In the comparative experiment, the exploratory dialogue condition showed a tendency toward reduced perceived threat and severity appraisal of sleep problems compared with the directive condition, accompanied by moderate effect sizes in cognitive perception measures. Autonomy-related experiences, including perceived choice and engagement, demonstrated suggestive upward trends in the exploratory condition. Behavioral intention changes were comparable across conditions, while overall readiness for change increased across participants. Conversational log analyses indicated that greater depth and volume of user self-narrative were associated with larger shifts in cognitive appraisals, whereas the frequency of chatbot questions alone was not. The pilot usability study indicated generally positive evaluations of system usability and content credibility, while identifying areas for improvement in emotional responsiveness and conversational naturalness.</p></sec><sec sec-type="conclusions"><title>Conclusions</title><p>These findings suggest that a Socratic questioning&#x2013;based and self-decision&#x2013;based conversational structure is usable and feasible as a supportive interaction layer within dCBT-I systems. Rather than altering the directive behavioral structure of CBT-I, such an approach may complement existing protocols by facilitating cognitive exploration and supporting user-perceived autonomy. This study provides design-oriented evidence to inform the refinement of dialogue-supported digital CBT-I systems aimed at enhancing user engagement with CBT-I practices.</p></sec></abstract><kwd-group><kwd>cognitive behavioral therapy</kwd><kwd>digital health</kwd><kwd>CBT</kwd><kwd>conversational agent</kwd><kwd>user engagement</kwd></kwd-group></article-meta></front><body><sec id="s1" sec-type="intro"><title>Introduction</title><p>Sleep is an essential restorative process that supports physical and mental health, including cognitive functioning, emotional regulation, immune response, metabolic regulation, and overall quality of life [<xref ref-type="bibr" rid="ref1">1</xref>-<xref ref-type="bibr" rid="ref4">4</xref>]. However, insomnia is increasingly prevalent in modern society, with approximately 30%&#x2010;50% of adults reporting insomnia symptoms and 10%&#x2010;15% experiencing clinically significant impairment and distress [<xref ref-type="bibr" rid="ref5">5</xref>-<xref ref-type="bibr" rid="ref7">7</xref>]. Chronic insomnia is associated with elevated risks of depression and anxiety [<xref ref-type="bibr" rid="ref2">2</xref>-<xref ref-type="bibr" rid="ref4">4</xref>], cardiometabolic diseases [<xref ref-type="bibr" rid="ref1">1</xref>], and reduced subjective well-being [<xref ref-type="bibr" rid="ref8">8</xref>-<xref ref-type="bibr" rid="ref10">10</xref>], and it may function both as a consequence and a predictor of broader mental health problems [<xref ref-type="bibr" rid="ref3">3</xref>]. These characteristics highlight the importance of early and sustained intervention.</p><p>Prior research has identified repetitive and maladaptive cognitive patterns, such as rumination and worry, as key mechanisms in the maintenance of chronic insomnia [<xref ref-type="bibr" rid="ref11">11</xref>-<xref ref-type="bibr" rid="ref16">16</xref>]. These cognitive processes exacerbate sustained arousal and anxiety, interfere with sleep initiation, and reinforce negative beliefs about sleep, thereby perpetuating a vicious cycle of insomnia. Addressing these cognitive patterns requires not only the application of behavioral treatment components but also support for individuals to recognize, interpret, and actively engage with their own sleep-related thoughts and behaviors.</p><p>Cognitive behavioral therapy for insomnia (CBT-I) is internationally recommended as the first-line treatment for chronic insomnia [<xref ref-type="bibr" rid="ref17">17</xref>-<xref ref-type="bibr" rid="ref21">21</xref>], with pharmacological treatment advised only as a short-term adjunct when CBT-I alone is insufficient [<xref ref-type="bibr" rid="ref22">22</xref>]. CBT-I targets maladaptive beliefs about sleep and conditioned arousal, and prior studies have shown that cognitive changes achieved through CBT-I are relatively stable after treatment completion [<xref ref-type="bibr" rid="ref17">17</xref>]. In addition to improving sleep-related outcomes, CBT-I has been associated with reductions in depressive and anxiety symptoms and improvements in quality of life [<xref ref-type="bibr" rid="ref19">19</xref>,<xref ref-type="bibr" rid="ref20">20</xref>]. CBT-I is typically structured as a multicomponent treatment protocol that includes sleep restriction, stimulus control, sleep hygiene, and cognitive therapy [<xref ref-type="bibr" rid="ref23">23</xref>]. Despite its strong evidence base, the real-world utilization of CBT-I remains limited due to high costs, shortages of trained therapists, and low referral rates in clinical practice [<xref ref-type="bibr" rid="ref24">24</xref>-<xref ref-type="bibr" rid="ref27">27</xref>].</p><p>To address these accessibility barriers, digital CBT-I (dCBT-I) has been developed to deliver CBT-I through web- and mobile-based platforms while preserving its core therapeutic components [<xref ref-type="bibr" rid="ref28">28</xref>-<xref ref-type="bibr" rid="ref31">31</xref>]. Meta-analytic evidence suggests that dCBT-I can achieve outcomes comparable to face-to-face CBT-I across key sleep-related measures, including insomnia severity, sleep efficiency, and sleep onset latency [<xref ref-type="bibr" rid="ref29">29</xref>]. Representative systems such as SHUTi, Sleepio, Somzz, and WELT-I implement standardized CBT-I protocols using automated sessions, sleep diaries, and structured behavioral assignments [<xref ref-type="bibr" rid="ref32">32</xref>-<xref ref-type="bibr" rid="ref35">35</xref>]. However, studies consistently report low treatment adherence in real-world settings, with many users failing to complete the full treatment program [<xref ref-type="bibr" rid="ref32">32</xref>-<xref ref-type="bibr" rid="ref35">35</xref>].</p><p>Previous work suggests that this adherence challenge is not primarily due to the standardized or protocol-driven nature of CBT-I itself, but rather to the difficulty users experience in cognitively understanding, accepting, and sustaining engagement with CBT-I practices in daily life. While CBT-I relies on fixed behavioral principles that are well suited for structured training and repeated practice, effective engagement also depends on how users interpret the rationale behind these practices, respond to discomfort or resistance, and integrate them into their lived experiences. In digital environments, opportunities to support users in exploring their individual cognitive interpretations, emotional responses, and readiness for behavior change through personalized dialogue remain relatively limited. As a result, many dCBT-I systems offer only constrained interactive support for facilitating cognitive meaning-making and maintaining motivation alongside ongoing behavioral practice.</p><p>Recent advances in natural language&#x2013;based conversational systems provide opportunities to extend interactive support in digital health interventions through dialogue [<xref ref-type="bibr" rid="ref36">36</xref>]. Prior studies have shown that conversational interaction can enhance user engagement, emotional acceptance, and perceived support compared with non-dialogue-based digital interventions [<xref ref-type="bibr" rid="ref37">37</xref>-<xref ref-type="bibr" rid="ref39">39</xref>]. However, despite these advances, most existing dCBT-I systems have not systematically integrated dialogue-based mechanisms to support cognitive exploration, user-driven reflection, and engagement maintenance within established CBT-I treatment structures.</p><p>In this study, we propose <italic>SleepPathfinder</italic>, a conversational CBT-I support chatbot designed to assist users in understanding and engaging with CBT-I treatment guidelines within digital environments. Rather than replacing standardized CBT-I protocols, SleepPathfinder functions as an assistive system that integrates Socratic questioning and a self-decision mechanism to support users in independently exploring their sleep-related cognitions, connecting these insights to directive CBT-I practices, and sustaining engagement with treatment activities. The system is designed to preserve the structured, protocol-driven nature of CBT-I while augmenting it with conversational support aimed at promoting cognitive insight, acceptance, and user-perceived autonomy.</p><p>SleepPathfinder is intended for individuals experiencing insomnia-related difficulties in daily life, including those who report persistent sleep problems without necessarily seeking or receiving a formal clinical diagnosis. By clarifying this scope, the system emphasizes early cognitive engagement with structured CBT-I practices rather than delivering stand-alone therapeutic treatment.</p><p>The objective of this study is to examine the initial usability, engagement characteristics, and engagement-support potential of a Socratic questioning&#x2013;based and self-decision&#x2013;based CBT-I support chatbot. Through a pilot usability study and a short-term, condition-based user experiment, we investigate how conversational interaction may support users&#x2019; experiences of engaging with CBT-I practices in digital contexts.</p></sec><sec id="s2" sec-type="methods"><title>Methods</title><sec id="s2-1"><title>System Overview and Design Rationale</title><p>The chatbot system was designed to address challenges related to sustained user engagement and adherence that have been repeatedly reported in real-world use of dCBT-I programs. Prior dCBT-I systems effectively deliver core CBT-I components&#x2014;such as sleep restriction, stimulus control, sleep hygiene, relaxation techniques, and cognitive restructuring&#x2014;through standardized, protocol-driven structures that support structured behavioral training and repeated practice [<xref ref-type="bibr" rid="ref24">24</xref>,<xref ref-type="bibr" rid="ref25">25</xref>,<xref ref-type="bibr" rid="ref27">27</xref>,<xref ref-type="bibr" rid="ref29">29</xref>,<xref ref-type="bibr" rid="ref30">30</xref>]. While these fixed designs are well suited for implementing evidence-based CBT-I procedures, they offer relatively limited support for helping users cognitively understand, accept, and integrate the rationale behind CBT-I practices into their daily experiences. Difficulties in meaning-making, motivational alignment, and sustained engagement during treatment practice have been associated with reduced adherence and inconsistent long-term use in real-world dCBT-I settings [<xref ref-type="bibr" rid="ref25">25</xref>,<xref ref-type="bibr" rid="ref26">26</xref>].</p><p>To address these challenges, the system was designed as a conversational support tool that complements standardized CBT-I protocols rather than replacing them. The design rationale was to provide interactive support during the phase in which users form understanding, motivation, and readiness to engage with CBT-I practices. Socratic questioning is used to facilitate the structured exploration of users&#x2019; automatic thoughts and emotional responses, while a self-decision mechanism positions users as the primary agents who determine whether and when to engage with specific CBT-I techniques. The dialogue system reflects users&#x2019; utterances and contextual cues to support continuity across conversation turns.</p><p>The overall system architecture (<xref ref-type="fig" rid="figure1">Figure 1</xref>) consists of five core modules that collectively support conversational exploration, user-driven decision-making, and guideline-aligned advice provision within a CBT-I framework: (1) a dialogue generator that produces Socratic questions and empathic responses using a large language model (LLM), (2) an intent classifier that maps user utterances to CBT-I techniques to support the self-decision process, (3) a retrieval module that identifies clinically grounded counseling cases to support advice generation, (4) education templates containing clinically reviewed CBT-I technique content, and (5) an interface layer that enables interaction through button-based selection and multiturn dialogue.</p><fig position="float" id="figure1"><label>Figure 1.</label><caption><p>Overall architecture of the CBT-I support chatbot, illustrating how an LLM-based Socratic questioning module and a classifier-based self-decision module interact to support conversational flow and guideline-aligned advice provision. CBT-I: cognitive behavioral therapy for insomnia; LLM: large language model; LoRA: low-rank adaptation; RoBERTa: Robustly Optimized BERT Approach.</p></caption><graphic alt-version="no" mimetype="image" position="float" xlink:type="simple" xlink:href="formative_v10i1e79242_fig01.png"/></fig><p>The conversational interaction is structured into 4 sequential stages&#x2014;education on CBT-I techniques, Socratic questioning, self-decision, and advice provision&#x2014;as illustrated in <xref ref-type="fig" rid="figure2">Figure 2</xref>. This staged design clarifies how standardized CBT-I content is progressively connected to personalized engagement support through dialogue.</p><fig position="float" id="figure2"><label>Figure 2.</label><caption><p>Conversational structure of the CBT-I support chatbot, illustrating transitions from CBT-I technique education to advice provision through Socratic questioning and self-decision. CBT-I: cognitive behavioral therapy for insomnia.</p></caption><graphic alt-version="no" mimetype="image" position="float" xlink:type="simple" xlink:href="formative_v10i1e79242_fig02.png"/></fig></sec><sec id="s2-2"><title>Chatbot Design and Conversational Components</title><p>The chatbot operates through a 4-stage conversational flow (education on CBT-I techniques &#x2192; Socratic questioning &#x2192; self-decision &#x2192; advice provision). Each stage has a distinct functional objective and interaction logic, while maintaining continuity such that cognitive and emotional contexts established in earlier stages inform subsequent dialogue. Although a single dialogue engine is used across stages, input handling, prompt structure, output objectives, and interface design are differentiated according to the role of each stage.</p><sec id="s2-2-1"><title>Education on CBT-I Techniques</title><p>The education stage establishes a foundational understanding of core CBT-I techniques and prepares users for subsequent cognitive exploration and decision-making. Five CBT-I techniques&#x2014;sleep restriction, stimulus control, sleep hygiene, relaxation techniques, and cognitive restructuring&#x2014;are presented as selectable options within the interface. Upon selection, clinically reviewed educational content based on established guidelines, including objectives, implementation principles, and illustrative examples, is displayed through static templates [<xref ref-type="bibr" rid="ref40">40</xref>,<xref ref-type="bibr" rid="ref41">41</xref>].</p><p>Generative dialogue is intentionally withheld at this stage to allow users to explore information at their own pace without conversational overload. This design supports cognitive readiness by enabling users to form an initial conceptual link between their sleep difficulties and relevant CBT-I techniques. The content structure and representative message templates for each technique are provided in <xref ref-type="table" rid="table1">Table 1</xref>.</p><table-wrap id="t1" position="float"><label>Table 1.</label><caption><p>Descriptions of the 5 CBT-I<sup><xref ref-type="table-fn" rid="table1fn1">a</xref></sup> techniques presented by the support chatbot during the CBT-I technique education stage.</p></caption><table id="table1" frame="hsides" rules="groups"><thead><tr><td align="left" valign="bottom">CBT-I<sup><xref ref-type="table-fn" rid="table1fn1">a</xref></sup> element</td><td align="left" valign="bottom">Description</td></tr></thead><tbody><tr><td align="left" valign="top">Sleep restriction</td><td align="left" valign="top">Intentionally limits time in bed to match actual sleep duration, rebuilding the association between bed and sleep. Time in bed is gradually extended as sleep efficiency improves.</td></tr><tr><td align="left" valign="top">Stimulus control</td><td align="left" valign="top">Trains the brain to associate the bed only with sleep by leaving the bed if unable to sleep and returning only when sleepy.</td></tr><tr><td align="left" valign="top">Sleep hygiene</td><td align="left" valign="top">Encourages healthy habits such as maintaining a consistent sleep schedule, avoiding caffeine late in the day, minimizing screen exposure, and reducing stimulating evening activities.</td></tr><tr><td align="left" valign="top">Relaxation techniques</td><td align="left" valign="top">Reduces physical and mental tension using breathing exercises, meditation, light stretching, or progressive muscle relaxation.</td></tr><tr><td align="left" valign="top">Cognitive restructuring</td><td align="left" valign="top">Identifies and reframes negative or distorted thoughts about sleep (eg, &#x201C;If I don&#x2019;t sleep well tonight, tomorrow will be ruined&#x201D;).</td></tr></tbody></table><table-wrap-foot><fn id="table1fn1"><p><sup>a</sup>CBT-I: cognitive behavioral therapy for insomnia.</p></fn></table-wrap-foot></table-wrap></sec><sec id="s2-2-2"><title>Socratic Questioning</title><p>The Socratic questioning stage supports structured exploration of users&#x2019; automatic thoughts and emotional responses related to sleep. Questions were designed based on 5 categories proposed by Paul and Elder [<xref ref-type="bibr" rid="ref42">42</xref>]: clarification, assumption probing, evidence exploration, consequence exploration, and alternative exploration. Representative examples of each category are presented in <xref ref-type="table" rid="table2">Table 2</xref>.</p><table-wrap id="t2" position="float"><label>Table 2.</label><caption><p>Socratic question types used in the CBT-I<sup><xref ref-type="table-fn" rid="table2fn1">a</xref></sup> support chatbot, including their therapeutic purpose and representative example prompts adapted from the framework proposed by Paul and Elder [<xref ref-type="bibr" rid="ref42">42</xref>].</p></caption><table id="table2" frame="hsides" rules="groups"><thead><tr><td align="left" valign="bottom">Question type</td><td align="left" valign="bottom">Description</td><td align="left" valign="bottom">Example prompt</td></tr></thead><tbody><tr><td align="left" valign="top">Clarification</td><td align="left" valign="top">Probes ambiguities or unclear aspects of a statement</td><td align="left" valign="top">What do you mean by ...?</td></tr><tr><td align="left" valign="top">Probing assumptions</td><td align="left" valign="top">Examines the underlying assumptions behind a belief or statement</td><td align="left" valign="top">Why do you assume ...?</td></tr><tr><td align="left" valign="top">Probing reasons</td><td align="left" valign="top">Seeks justification or supporting evidence for a claim</td><td align="left" valign="top">How did you know ...?</td></tr><tr><td align="left" valign="top">Probing implications</td><td align="left" valign="top">Explores possible consequences or outcomes of a belief</td><td align="left" valign="top">If ..., what might happen as a result?</td></tr><tr><td align="left" valign="top">Exploring alternatives</td><td align="left" valign="top">Considers other perspectives or possible explanations</td><td align="left" valign="top">What else should we consider ...?</td></tr></tbody></table><table-wrap-foot><fn id="table2fn1"><p><sup>a</sup>CBT-I: cognitive behavioral therapy for insomnia.</p></fn></table-wrap-foot></table-wrap><p>For question generation, the LLaMA 3.1&#x2013;8B-Instruct model [<xref ref-type="bibr" rid="ref43">43</xref>] was fine-tuned using the SocratiQ dataset [<xref ref-type="bibr" rid="ref44">44</xref>] with a low-rank adaptation approach [<xref ref-type="bibr" rid="ref45">45</xref>]. The original dataset was reformatted into an instruction-input-output schema to support structured Socratic question generation. An example of this instruction-input-output structure is provided in <xref ref-type="table" rid="table3">Table 3</xref> to illustrate how abstract Socratic question categories were operationalized into concrete, model-trainable prompts and responses.</p><table-wrap id="t3" position="float"><label>Table 3.</label><caption><p>Example of an instruction-input-output dataset sample used for training the Socratic questioning module of the CBT-I<sup><xref ref-type="table-fn" rid="table3fn1">a</xref></sup> support chatbot.</p></caption><table id="table3" frame="hsides" rules="groups"><thead><tr><td align="left" valign="bottom">Instruction</td><td align="left" valign="bottom">Generate a Socratic question of type &#x201C;clarity&#x201D;</td></tr></thead><tbody><tr><td align="left" valign="top">Input</td><td align="left" valign="top">However, I would point to the fact that depression/bipolar disorder uses a combination of willpower, therapy, and medication to be cured. There is no cure for bipolar disorder. It is chronic, lifelong, and can only be treated and managed.</td></tr><tr><td align="left" valign="top">Output</td><td align="left" valign="top">Are sleep issues a mental disorder?</td></tr></tbody></table><table-wrap-foot><fn id="table3fn1"><p><sup>a</sup>CBT-I: cognitive behavioral therapy for insomnia.</p></fn></table-wrap-foot></table-wrap><p>The model generates structured outputs consisting of empathic acknowledgment, question type, subquestion, and a depth-control signal, supporting conversational continuity while encouraging hypothesis testing rather than directive correction [<xref ref-type="bibr" rid="ref46">46</xref>]. For example, when a user expresses a catastrophic belief about sleep outcomes, the system generates probing questions to facilitate cognitive reappraisal. Full prompt templates are provided in <xref ref-type="supplementary-material" rid="app1">Multimedia Appendix 1</xref>.</p></sec><sec id="s2-2-3"><title>Self-Decision</title><p>The self-decision stage is designed to support users&#x2019; engagement with standardized CBT-I guidelines by facilitating understanding and acceptance prior to behavioral practice. Rather than altering or personalizing treatment protocols, this stage allows users to consider whether they are ready to engage with a recommended CBT-I technique as a focus for practice. A RoBERTa (Robustly Optimized BERT [Bidirectional Encoder Representations From Transformers] Approach)-based intent classifier [<xref ref-type="bibr" rid="ref47">47</xref>] maps the user&#x2019;s most recent utterance to one of the 5 CBT-I techniques and presents this mapping as a recommendation to support reflection, not as a prescription or treatment decision.</p><p>This design is informed by self-determination theory (SDT), which highlights the role of perceived autonomy in sustaining engagement and adherence to prescribed behaviors [<xref ref-type="bibr" rid="ref48">48</xref>-<xref ref-type="bibr" rid="ref50">50</xref>]. In the context of CBT-I, which is inherently directive and standardized, SDT is not used to modify treatment content but to explain why users may differ in how they understand, accept, and adhere to the same behavioral instructions. Prior studies suggest that when individuals are supported in acknowledging and endorsing prescribed actions, their sense of responsibility for engaging in those actions may increase [<xref ref-type="bibr" rid="ref51">51</xref>,<xref ref-type="bibr" rid="ref52">52</xref>].</p><p>The intent classifier was trained using 8400 anonymized utterances collected from online sleep-related communities (eg, r/insomnia, r/sleepdisorders), with personally identifiable information removed prior to labeling. To convert community-style posts into consultation-appropriate user statements, we used GPT-4o mini (OpenAI) in an offline preprocessing step to rewrite each post into a first-person, one-on-one conversational utterance while preserving the original concern and emotional tone and removing or generalizing personally identifiable information. The rewriting prompt and annotation prompt specifications are provided in <xref ref-type="supplementary-material" rid="app1">Multimedia Appendix 1</xref>.</p><p>Each utterance was annotated with an appropriate CBT-I technique using the GPT-4o mini during an offline preprocessing step, and class imbalance was addressed through meaning-preserving data augmentation to yield approximately 2000 samples per technique. During prompt development, multiple candidate prompts were iteratively tested on a subset of posts, and generated outputs were manually reviewed by the research team to ensure preservation of the original concern and appropriate conversational framing. The final prompt was selected based on qualitative inspection of these outputs.</p><p>Model training was conducted using k-fold cross-validation, with the best-performing model from each fold selected based on validation performance and saved for subsequent use. The classifier was trained for 3 epochs using AdamW (learning rate = 2 &#x00D7; 10&#x207B;&#x2075;, batch size=8, weight decay=0.01). The RoBERTa-based intent classifier achieved an overall classification accuracy of 0.81 under cross-validation, indicating adequate technical reliability for supporting the self-decision process rather than for autonomous clinical decision-making.</p><p>Users may accept the system&#x2019;s recommendation or defer engagement without restriction. The system does not monitor or enforce behavioral compliance; instead, it functions as a supportive facilitator that helps users cognitively commit to guideline-based actions at their own pace. By positioning this stage after Socratic questioning, the system ensures that behavioral practice follows a process of understanding and acceptance rather than immediate instruction delivery.</p><p>Users may accept the system&#x2019;s recommendation or freely select an alternative CBT-I technique without restriction. This design reflects the self-decision principle, which emphasizes perceived choice and psychological ownership as important factors shaping users&#x2019; motivation to engage with prescribed practices [<xref ref-type="bibr" rid="ref53">53</xref>]. Rather than enforcing compliance, the system is intended to support informed decision-making during users&#x2019; early engagement with CBT-I guidelines.</p><p>Through this structure, the self-decision stage serves as an interaction-level bridge between cognitive insight and action-oriented readiness within cognitive behavioral therapy (CBT)&#x2013;based frameworks. Specifically, it supports users in translating the understanding developed through Socratic questioning into a concrete judgment about whether they are ready to engage with a given CBT-I practice, without assuming or enforcing actual behavioral execution [<xref ref-type="bibr" rid="ref54">54</xref>].</p></sec><sec id="s2-2-4"><title>Advice Provision</title><p>In the final stage, the chatbot provides actionable guidance aligned with the CBT-I technique selected during the self-decision stage. To reduce the risk of hallucinated or context-incongruent responses, a retrieval-augmented generation (RAG) approach was adopted [<xref ref-type="bibr" rid="ref55">55</xref>]. A Facebook AI Similarity Search (FAISS)&#x2013;based embedding retrieval system [<xref ref-type="bibr" rid="ref56">56</xref>] identifies counseling cases with high semantic similarity to the user&#x2019;s current concern. The RAG dataset consists of 217 expert-curated counseling pairs (client concern&#x2013;CBT-I technique&#x2013;counselor response) collected from publicly available online counseling resources. Each case was manually reviewed to ensure alignment with standardized CBT-I techniques. All identifiable information was removed, and each item was labeled according to the CBT-I technique. Dataset structure and representative examples are presented in <xref ref-type="table" rid="table4">Table 4</xref>.</p><table-wrap id="t4" position="float"><label>Table 4.</label><caption><p>Example entries from the 1:1 paired advice generation dataset, consisting of client concerns, corresponding CBT-I<sup><xref ref-type="table-fn" rid="table4fn1">a</xref></sup> elements, and expert-authored counseling responses used as grounding cases in the retrieval-augmented generation process.</p></caption><table id="table4" frame="hsides" rules="groups"><thead><tr><td align="left" valign="bottom">Client concern</td><td align="left" valign="bottom">CBT-I element</td><td align="left" valign="bottom">Therapist response</td></tr></thead><tbody><tr><td align="left" valign="top">I can&#x2019;t fall asleep easily at night due to insomnia. I often can&#x2019;t sleep until dawn. So I end up sleeping during the day and staying awake at night. My friends are concerned about my irregular sleep habits. Is taking naps to make up for lost sleep a good idea? Is there any way to recover from insomnia without relying on medication?</td><td align="left" valign="top">Sleep hygiene</td><td align="left" valign="top">One reason your insomnia might not improve is that your sleep hygiene practices may not align with best practices. Sleeping during the day makes it harder to sleep at night. Even if you didn&#x2019;t sleep well the night before, try to avoid taking long naps during the day and aim to go to bed and wake up at the same time daily. Also, refrain from using electronic devices before bedtime and avoid eating or exercising too close to bedtime. Keeping a regular routine, especially with exposure to natural light during the day and maintaining a dark environment at night, can help regulate your sleep-wake cycle.</td></tr><tr><td align="left" valign="top">I want to resolve my insomnia...It gets worse as the weekend approaches. I tend to stay up very late and wake up late. I&#x2019;m also worried that my irregular sleep pattern might be affecting my hormonal cycle.</td><td align="left" valign="top">Sleep restriction</td><td align="left" valign="top">When you frequently change your sleep schedule, especially on weekends, your biological clock gets disrupted, which can worsen insomnia. Sleep restriction aims to stabilize your sleep pattern by limiting the time you spend in bed to the actual time you sleep. This helps increase sleep efficiency. Try to maintain a consistent sleep-wake time, even on weekends. It might be helpful to temporarily reduce time spent in bed and gradually increase it as your sleep becomes more consolidated. Would you be able to try setting a fixed sleep-wake time starting tonight?</td></tr></tbody></table><table-wrap-foot><fn id="table4fn1"><p><sup>a</sup>CBT-I: cognitive behavioral therapy for insomnia.</p></fn></table-wrap-foot></table-wrap><p>During response generation, the dataset is first filtered by the selected CBT-I technique. The user&#x2019;s most recent concern is embedded and matched against the filtered dataset using a FAISS-based L2 distance index, and the top three most similar cases (top-k=3) are retrieved based on embedding similarity. No explicit similarity threshold was applied; instead, a fixed top-k strategy was adopted to ensure stable contextual grounding even when user utterances were brief, underspecified, or heterogeneous in wording. Corresponding counselor responses are inserted into the prompt as contextual grounding, guiding the LLM to generate advice consistent with guideline-aligned counseling examples. When &#x201C;cognitive restructuring&#x201D; is selected, retrieved cases emphasize question-based exploration rather than behavioral instruction, supporting continued Socratic dialogue [<xref ref-type="bibr" rid="ref57">57</xref>,<xref ref-type="bibr" rid="ref58">58</xref>].</p></sec></sec><sec id="s2-3"><title>Pilot Study</title><sec id="s2-3-1"><title>Study Design and Procedure</title><p>The pilot study was conducted to examine the technical stability, procedural feasibility, and initial usability of the proposed Socratic questioning&#x2013;based and self-decision&#x2013;based CBT-I chatbot, and to identify system-level refinements prior to the main experiment. The study used a single-arm, single-session usability design, consistent with feasibility-focused evaluations of early-stage digital health interventions.</p><p>Participants completed one individual chatbot session via a web-based interface, with an average session duration of approximately 15&#x2010;20 minutes. The session followed the same 4-stage conversational flow used in the main system: (1) education on CBT-I techniques, (2) Socratic questioning, (3) self-decision, and (4) advice provision. In the education stage, participants selected one of five CBT-I techniques and reviewed the corresponding information. During the Socratic questioning stage, participants engaged in multiple rounds of question-answer interaction to structure their sleep-related concerns. In the self-decision stage, a RoBERTa-based classifier generated a recommended CBT-I strategy, which participants could accept or defer. Finally, the advice provision stage delivered technique-specific behavioral or cognitive guidance.</p><p>Immediately after completing the session, participants completed a postsession survey lasting approximately 10 minutes. All sessions were conducted using participants&#x2019; personal devices in quiet environments. Data collected in this pilot study were used exclusively to inform system refinement and optimization of the experimental design.</p></sec><sec id="s2-3-2"><title>Participants</title><p>A total of 45 undergraduate and graduate students participated voluntarily (mean age 27.4, SD 8.5 years; 31/45 [68.9%] are female). Academic backgrounds included social welfare and psychology (22/45, 48.9%), engineering and artificial intelligence (AI)&#x2013;related fields (12/45, 26.7%), and other humanities and social sciences disciplines (11/45, 24.4%). All individuals received an information sheet describing the study purpose, procedures, and data protection measures and provided written informed consent prior to participation. The study was approved by the Institutional Review Board of Sungkyunkwan University (SKKU 2025-03-013), and all data were anonymized. Participants were informed that they could withdraw at any time without penalty and received monetary compensation for their participation.</p></sec><sec id="s2-3-3"><title>Measures</title><p>Pilot evaluation focused on usability, perceived cognitive load, engagement, and overall satisfaction. Quantitative assessment used a 35-item questionnaire with 5-point Likert-scale responses, partially adapted from the System Usability Scale (SUS) [<xref ref-type="bibr" rid="ref59">59</xref>], NASA Task Load Index (NASA-TLX) [<xref ref-type="bibr" rid="ref60">60</xref>], User Engagement Scale (UES) [<xref ref-type="bibr" rid="ref61">61</xref>], and Customer Satisfaction Score (CSAT) [<xref ref-type="bibr" rid="ref62">62</xref>]. One NASA-TLX item with mixed polarity was excluded, resulting in 34 items. Negatively worded items were reverse-coded prior to analysis.</p><p>Qualitative feedback was collected through 3 open-ended questions assessing overall impressions, perceived strengths, and areas for improvement. Responses were analyzed using an inductive content analysis approach. Initial pattern identification was supported by GPT-4o, which was used to assist in grouping responses based on surface-level semantic similarity. The exact prompt used for this assistance is provided in <xref ref-type="supplementary-material" rid="app1">Multimedia Appendix 1</xref>. Importantly, GPT output was used solely as an organizational aid and did not replace the researcher&#x2019;s judgment.</p><p>Following AI-assisted clustering, the first author conducted a systematic manual review of all responses to verify grouping consistency and refine cluster labels while preserving participants&#x2019; original wording. The qualitative analysis aimed to identify recurring usability and interaction issues relevant to system refinement rather than to generate theory.</p></sec><sec id="s2-3-4"><title>Analysis</title><p>Quantitative analyses consisted of descriptive statistics (means, SDs, and positive response rates) for all questionnaire items. Qualitative responses were analyzed using an inductive thematic approach, in which recurring meaning units were identified and grouped into higher-level categories based on semantic similarity. All qualitative responses were reviewed and coded by a single researcher using an inductive approach, consistent with the exploratory and formative purpose of the pilot usability study. An LLM (GPT-4o mini) was used in a limited capacity to assist with preliminary organization of response excerpts; final theme identification and interpretation were conducted by the researcher. The pilot study was not designed to test hypotheses or estimate intervention effects; rather, findings were used to guide iterative improvements to dialogue flow, system responsiveness, and interface usability prior to the experimental study. All quantitative and qualitative analyses were conducted using Python (version 3.9).</p></sec></sec><sec id="s2-4"><title>Experimental Study</title><sec id="s2-4-1"><title>Research Design</title><p>The experimental study was conducted to explore preliminary patterns of cognitive, behavioral, and experiential change associated with the proposed chatbot following refinements informed by the pilot study. In contrast to the pilot implementation using LLaMA 3.1&#x2013;8B, the experimental system used the GPT-4o mini model to enhance response stability during multiday usage. Core prompt structures and the RoBERTa-based intent classification logic were retained, while dialogue continuity and emotional stability were improved.</p><p>Participants were assigned to either an exploratory dialogue condition or a directive dialogue control condition. The exploratory condition experienced the full Socratic questioning &#x2192; self-decision &#x2192; advice conversational flow, whereas the control condition received a simplified, directive, protocol-guided CBT-I dialogue without structured Socratic exploration. Participants completed 1 session per day over a 5-day period, with session timing self-selected by participants to reflect naturalistic use conditions in daily life.</p><p>The study objectives were exploratory in nature (1) to examine changes in cognitive appraisal of sleep problems, (2) to assess shifts in behavioral intention toward CBT-I practices, and (3) to compare user experience characteristics between exploratory and directive dialogue styles.</p></sec><sec id="s2-4-2"><title>Participants and Procedure</title><p>Thirty participants (14 males, 16 females; mean age 26.4, SD 3.7 years) were recruited and evenly assigned to the two conditions (n=15 per group). Baseline insomnia severity was assessed using the Insomnia Severity Index (ISI-7), with a mean baseline score of 15.63, corresponding to moderate insomnia symptoms. Participants were recruited from a general university student population and were not selected based on predefined insomnia-related inclusion criteria. Insomnia severity was assessed descriptively after recruitment to characterize baseline sleep-related symptoms within the sample, and no formal clinical diagnosis of insomnia was required for participation. Baseline ISI scores were used solely to describe sample characteristics and were not treated as outcome variables in the experimental analyses.</p><p>The study procedure consisted of three phases: (1) a pre-intervention survey, (2) five consecutive days of chatbot interaction, and (3) a postintervention survey. Pre- and postsurveys assessed sleep status, cognitive perceptions, behavioral intentions, emotional characteristics, and user experience. Conversation logs were recorded throughout the intervention period, including dialogue length, turn counts, question frequency, and acceptance of recommended strategies.</p></sec><sec id="s2-4-3"><title>Measures</title><p>Cognitive perceptions were assessed using the health belief model (HBM) subscales (perceived severity, perceived susceptibility, and self-understanding) [<xref ref-type="bibr" rid="ref63">63</xref>]. Behavioral intention and readiness toward CBT-I practices were measured using the theory of planned behavior (TPB) constructs, including outcome beliefs, subjective norms, self-efficacy, and intention [<xref ref-type="bibr" rid="ref64">64</xref>]. The stage of change was assessed on a 5-point ordinal scale.</p><p>User experience was examined with reference to SDT, which highlights the importance of perceived autonomy in shaping motivation to engage with recommended practices [<xref ref-type="bibr" rid="ref65">65</xref>]. Based on this perspective, user experience was evaluated using autonomy-support items derived from the Health Care Climate Questionnaire and the User Experience Questionnaire&#x2013;Short (UEQ-S) [<xref ref-type="bibr" rid="ref66">66</xref>]. Emotional characteristics were assessed using the Perth Alexithymia Questionnaire&#x2013;Short Form (PAQ-S) [<xref ref-type="bibr" rid="ref67">67</xref>].</p></sec><sec id="s2-4-4"><title>Statistical Analysis</title><p>Analyses focused on exploratory estimation rather than confirmatory hypothesis testing. Mixed-effects models were used to estimate time (pre vs post) &#x00D7; group interactions, with participants specified as random effects. When model convergence was unstable, generalized estimating equations were used as a complementary approach. Baseline ISI scores were included as covariates in all models.</p><p>For sets of secondary outcomes, false discovery rate correction was applied using the Benjamini-Hochberg procedure. Effect sizes (Hedges <italic>g</italic> or odds ratios, as appropriate) and 95% CIs were reported alongside <italic>P</italic> values. Given the feasibility-scale sample size (n=30), analyses emphasize effect size estimation and uncertainty rather than statistical significance, and all secondary analyses are interpreted as exploratory.</p></sec></sec><sec id="s2-5"><title>Ethical Considerations</title><p>The study was approved by the Institutional Review Board of Sungkyunkwan University (SKKU 2025-08-067-001). Written informed consent was obtained from all participants prior to participation, and they were informed of their right to withdraw from the study at any time without penalty. The chatbot did not provide clinical diagnosis or treatment and was explicitly presented as a supportive tool designed to facilitate engagement with digital CBT-I guidelines rather than as a therapeutic intervention. To ensure participant safety, individuals were advised that if they experienced discomfort or psychological distress during the study, they could immediately discontinue participation and contact the research team for support. No automated monitoring or intervention for suicidal ideation was implemented, and the system was clearly described as not intended for emergency use or crisis intervention. All conversation data were anonymized and securely stored in accordance with institutional data protection guidelines. Monetary compensation was provided for participation.</p></sec></sec><sec id="s3" sec-type="results"><title>Results</title><sec id="s3-1"><title>Pilot Study Results: Usability and Feasibility</title><p>In the pilot study, the chatbot demonstrated generally favorable usability and feasibility. As summarized in <xref ref-type="table" rid="table5">Table 5</xref>, mean scores indicated moderate-to-high usability (SUS mean 3.67, SD 0.64) and satisfaction (CSAT mean 3.74, SD 0.71). User engagement scores were comparatively lower (UES mean 3.30, SD 0.81), particularly on items related to emotional responsiveness. Cognitive load was moderate (NASA-TLX mean 3.34, SD 0.45).</p><table-wrap id="t5" position="float"><label>Table 5.</label><caption><p>Summary of key quantitative metrics from the pilot usability study (N=45).</p></caption><table id="table5" frame="hsides" rules="groups"><thead><tr><td align="left" valign="bottom">Scale</td><td align="left" valign="bottom">Items, n</td><td align="left" valign="bottom">Mean (SD)</td></tr></thead><tbody><tr><td align="left" valign="top">System Usability Scale (SUS)</td><td align="left" valign="top">10</td><td align="left" valign="top">3.67 (0.64)</td></tr><tr><td align="left" valign="top">NASA Task Load Index (NASA-TLX)</td><td align="left" valign="top">5</td><td align="left" valign="top">3.34 (0.45)</td></tr><tr><td align="left" valign="top">User Engagement Scale (UES)</td><td align="left" valign="top">14</td><td align="left" valign="top">3.30 (0.81)</td></tr><tr><td align="left" valign="top">Customer Satisfaction Score (CSAT)</td><td align="left" valign="top">5</td><td align="left" valign="top">3.74 (0.71)</td></tr></tbody></table></table-wrap><p>Exploratory analyses were conducted to examine potential associations between demographic variables and usability ratings. A borderline negative association was observed between age and SUS scores (<italic>P</italic>=.05); however, the effect size was small and of limited practical significance. No statistically significant associations were found between usability measures and other demographic variables, including sex and academic background. Given the formative nature of the pilot evaluation, analyses focused primarily on overall scale-level descriptive statistics.</p><p>Qualitative feedback revealed several recurring patterns. Participants frequently highlighted the clarity of CBT-I information, structured questioning flow, and practical solution suggestions, describing the system as &#x201C;easy to understand,&#x201D; &#x201C;informative,&#x201D; and &#x201C;well structured.&#x201D; Many appreciated the initial provision of sleep-related information and the attempt to integrate empathy with reflective questioning.</p><p>At the same time, users consistently reported concerns related to delayed response times, repetitive phrasing, limited contextual continuity across conversational turns, and language perceived as overly scripted or robotic. Several participants also noted difficulties with mobile readability, screen size, and scrolling behavior. Others indicated that the chatbot occasionally struggled to fully interpret nuanced or metaphorical expressions, leading to abrupt topic shifts or perceived conversational disconnection.</p><p>These qualitative findings informed refinements implemented prior to the experimental study, including improvements in response latency, conversational continuity, repetition reduction, and mobile interface readability. Detailed quantitative item distributions are provided in <xref ref-type="supplementary-material" rid="app2">Multimedia Appendices 2</xref><xref ref-type="supplementary-material" rid="app3"/><xref ref-type="supplementary-material" rid="app4"/>-<xref ref-type="supplementary-material" rid="app5">5</xref>. The AI-assisted qualitative grouping results, generated using the prompt described in <xref ref-type="supplementary-material" rid="app1">Multimedia Appendix 1</xref>, are presented in <xref ref-type="supplementary-material" rid="app6">Multimedia Appendix 6</xref>.</p></sec><sec id="s3-2"><title>Baseline Characteristics of the Experimental Sample</title><p>The mean baseline ISI score was 15.63 (SD 4.06), with approximately half of the participants classified in the moderate insomnia range (50%). No significant demographic imbalances were observed between groups; sex distribution (53% women, 47% men) and age were comparable across conditions. Baseline ISI scores are reported to characterize the sample and were not analyzed as outcome variables.</p></sec><sec id="s3-3"><title>Cognitive and Behavioral Outcomes</title><p>Among the HBM subscales, perceived severity of sleep problems significantly decreased in the exploratory group, whereas it showed an increasing trend in the directive group, yielding a significant group &#x00D7; time interaction in the mixed-effects model (<italic>&#x03B2;</italic>=0.467, 95% CI 0.078-0.855; <italic>P</italic>=.02; Welch &#x0394;: <italic>g</italic>=0.808). Perceived susceptibility remained relatively stable in both groups. Self-awareness increased over time in both conditions, with no statistically significant between-group difference.</p><p>Across TPB constructs&#x2014;outcome beliefs, subjective norms, self-efficacy, and behavioral intention&#x2014;scores increased from pre- to postintervention; however, no statistically significant group &#x00D7; time interaction effects were observed. The overall direction of change across TPB constructs was consistent with canonical TPB pathways, indicating increased readiness toward CBT-I practices across conditions.</p><p>Stage of change scores shifted toward higher readiness levels, with the mean stage moving from contemplation (2) toward preparation (3) or higher. The proportion of participants reaching the preparation stage or above was comparable across groups (exploratory: 80%; directive: 93%). Baseline stage significantly predicted postintervention stage (ordered logit: odds ratio 3.16, 95% CI 1.12-8.92; <italic>P</italic>=.03). <xref ref-type="fig" rid="figure3">Figure 3</xref> illustrates changes in key cognitive and behavioral outcomes by group over time.</p><fig position="float" id="figure3"><label>Figure 3.</label><caption><p>Group &#x00D7; time patterns in cognitive and behavioral measures: (A) changes in perceived severity (health belief model) by dialogue condition, (B) changes in behavioral intention (theory of planned behavior) across groups, and (C) distributional shifts in the stage of change from pre- to postintervention. Error bars indicate 95% CIs. HBM: health belief model; TPB: theory of planned behavior.</p></caption><graphic alt-version="no" mimetype="image" position="float" xlink:type="simple" xlink:href="formative_v10i1e79242_fig03.png"/></fig><p>A comprehensive summary of primary and key secondary outcomes, including effect sizes and multiple-comparison&#x2013;adjusted results, is presented in <xref ref-type="supplementary-material" rid="app7">Multimedia Appendix 7</xref>.</p></sec><sec id="s3-4"><title>Autonomy and User Experience</title><p>SDT-based autonomy scores were higher in the exploratory group and showed marginal significance after covariate adjustment (ANCOVA <italic>P</italic>=.07, &#x03B7;&#x00B2;=0.168). No statistically significant group differences were observed in overall UEQ-S scores. However, hedonic quality scores were higher in the exploratory group (Hedges <italic>g</italic>=0.435), although this difference did not reach statistical significance after adjustment (ANCOVA <italic>P</italic>=.18).</p><p><xref ref-type="fig" rid="figure4">Figure 4</xref> presents group-level comparisons of autonomy and hedonic quality scores across conditions.</p><fig position="float" id="figure4"><label>Figure 4.</label><caption><p>Group differences in user experience measures by dialogue condition: (A) autonomy support scores based on self-determination theory (SDT) and (B) pragmatic and hedonic quality scores from the User Experience Questionnaire&#x2013;Short (UEQ-S). Error bars indicate 95% CIs.</p></caption><graphic alt-version="no" mimetype="image" position="float" xlink:type="simple" xlink:href="formative_v10i1e79242_fig04.png"/></fig></sec><sec id="s3-5"><title>Moderating Role of Alexithymia</title><p>Higher levels of difficulty identifying feelings (DIF) and difficulty describing feelings (DDF), as measured by the PAQ-S, were associated with smaller reductions in HBM perceived severity (pooled Pearson <italic>r</italic>=0.35 and 0.36, respectively). In contrast, lower levels of externally oriented thinking (EOT) were associated with greater increases in self-awareness and outcome beliefs. <xref ref-type="fig" rid="figure5">Figure 5</xref> illustrates these associations.</p><fig position="float" id="figure5"><label>Figure 5.</label><caption><p>Associations between alexithymia-related traits and changes in cognitive and behavioral measures. (A) Relationship between difficulty identifying feelings (DIF) and change in perceived severity. (B) Relationship between difficulty describing feelings (DDF) and change in perceived severity. (C) Differences in outcome belief change by levels of externally oriented thinking (EOT). Error bars indicate 95% CIs.</p></caption><graphic alt-version="no" mimetype="image" position="float" xlink:type="simple" xlink:href="formative_v10i1e79242_fig05.png"/></fig></sec><sec id="s3-6"><title>Log-Outcome Associations</title><p>Log-derived engagement metrics showed several associations with cognitive outcomes. Greater use of causal self-explanation (mean_cause_words) was associated with larger reductions in perceived severity of sleep problems (<italic>r</italic>=0.47, <italic>P</italic>=.009). Higher chatbot question frequency (mean_qturns) was associated with smaller magnitudes of change (<italic>r</italic>=0.40, <italic>P</italic>=.03). Fewer turns required to accept advice (turns_to_accept) were associated with greater cognitive change, and longer session duration was associated with larger increases in outcome beliefs.</p><p>Comparative log analysis indicated that the exploratory group produced more causal words per session (31.6 vs 15.4) and more words per user turn (3.82 vs 2.83), whereas the directive group exhibited a higher proportion of question-tagged turns (0.208 vs 0.098). Advice acceptance rates were higher in the directive condition (0.292 vs 0.054), while early session termination occurred more frequently in the exploratory condition (0.446 vs 0.000).</p></sec></sec><sec id="s4" sec-type="discussion"><title>Discussion</title><sec id="s4-1"><title>Principal Findings</title><p>This study proposed and examined the usability, feasibility, and interaction characteristics of a conversational digital CBT-I support chatbot that integrates Socratic questioning and a self-decision mechanism. The system was not designed to replace standardized CBT-I protocols or to deliver therapeutic content independently; rather, it was intentionally positioned as a dialogue-based assistive layer that supports how users understand, interpret, and engage with established CBT-I practices within digital environments.</p><p>Across a pilot usability study and a short-term, 5-day condition-based comparative experiment, the findings suggest that Socratic questioning&#x2013;based exploratory dialogue can influence users&#x2019; cognitive appraisal of their sleep problems. In particular, participants in the exploratory dialogue condition demonstrated a reduction in HBM perceived severity of sleep problems, whereas no comparable pattern was observed in the directive condition. Importantly, this change occurred without a corresponding decrease in perceived susceptibility, indicating a shift in cognitive appraisal rather than disengagement from sleep-related concerns. This pattern aligns with the system&#x2019;s design goal of supporting cognitive reappraisal while preserving the perceived relevance and seriousness of insomnia-related difficulties.</p><p>In addition, the self-decision structure was associated with higher autonomy-related experiences and trends toward enhanced hedonic quality of interaction. In this study, autonomy should not be interpreted solely as a subjective outcome measure, but also as a design construct: the self-decision mechanism explicitly positions users as active agents who may endorse or defer guideline-based actions following cognitive exploration. In this sense, self-decision operationalizes autonomy at the interaction level rather than attempting to personalize or modify CBT-I treatment content itself. Although not all user experience measures reached statistical significance, the observed effect size patterns suggest that enabling users to cognitively commit to prescribed practices may meaningfully shape engagement-related experiences in digital CBT-I contexts.</p></sec><sec id="s4-2"><title>Interpretation of Cognitive and Behavioral Patterns</title><p>The observed changes in HBM constructs and stage of change scores indicate that the chatbot primarily supported readiness for change rather than immediate behavioral performance. This interpretation is consistent with both the feasibility-oriented nature of the study and the intentionally brief intervention duration. Given that CBT-I typically requires several weeks of repeated behavioral practice&#x2014;particularly for core components such as sleep restriction and stimulus control&#x2014;the present findings should not be interpreted as evidence of sleep behavior change or clinical improvement.</p><p>Rather, the system appears to have functioned as a cognitive catalyst that reorganized how users conceptualized insomnia and their relationship to CBT-I guidelines. The overall shift toward higher readiness levels suggests that the conversational structure supported preparatory cognitive work&#x2014;such as reframing perceived threat, clarifying personal relevance, and acknowledging ambivalence&#x2014;that commonly precedes sustained behavioral adherence in longer-term CBT-I programs.</p><p>Within CBT frameworks, Socratic questioning has traditionally been used as a therapeutic technique to facilitate cognitive restructuring by guiding clients to examine automatic thoughts and underlying assumptions. In the present system, this approach was adapted not as a therapeutic intervention in itself, but as a conversational scaffold designed to support early-stage cognitive exploration in a digital context. This distinction is important, as the system was not intended to replicate face-to-face therapeutic interaction, but to provide structured support for users&#x2019; sense-making processes during initial engagement with CBT-I practices.</p><p>Log-derived analyses further contextualized these findings. Greater depth of user self-narrative and causal self-explanation was associated with larger reductions in perceived severity, whereas higher frequencies of chatbot questioning were associated with smaller magnitudes of change. This pattern suggests that the qualitative coherence and perceived relevance of dialogue may be more influential than the sheer quantity of Socratic prompts, underscoring the importance of carefully calibrated dialogue design rather than aggressive questioning strategies in conversational support systems.</p></sec><sec id="s4-3"><title>Design Implications for Digital CBT-I Support</title><p>From a design perspective, these findings suggest that digital CBT-I systems may benefit from augmenting existing protocol-driven structures with interaction mechanisms that support cognitive exploration and autonomous judgment. Importantly, this does not imply that fixed, standardized CBT-I modules are inherently problematic. On the contrary, structured behavioral protocols are essential for delivering sleep restriction, stimulus control, and other core CBT-I techniques, and their fixed nature often facilitates usability, consistency, and adherence.</p><p>The present findings instead highlight a complementary design space: supporting how users cognitively interpret and accept these standardized practices. Because many CBT-I components require effortful behavioral performance over extended periods, difficulties in adherence may arise not from insufficient instruction, but from users&#x2019; uncertainty, resistance, or incomplete understanding of why these practices are necessary. The combination of Socratic questioning and self-decision offers one operational pathway for addressing this gap by supporting users&#x2019; cognitive endorsement of prescribed practices prior to execution, while preserving the directive structure of CBT-I itself.</p><p>The results also indicate a potential trade-off between structural guidance and cognitive engagement. While the directive condition showed higher advice acceptance rates, exploratory dialogue was associated with greater depth of self-reflection but also higher rates of early disengagement. This polarization suggests that future systems may benefit from adaptive strategies that dynamically balance exploration and guidance based on real-time indicators of user readiness, engagement, and cognitive load.</p></sec><sec id="s4-4"><title>Comparison With Prior dCBT-I Systems</title><p>Most established digital CBT-I systems, including Sleepio [<xref ref-type="bibr" rid="ref33">33</xref>], SHUTi [<xref ref-type="bibr" rid="ref32">32</xref>], CBT-I Coach [<xref ref-type="bibr" rid="ref31">31</xref>], Somzz [<xref ref-type="bibr" rid="ref34">34</xref>], and WELT-I [<xref ref-type="bibr" rid="ref35">35</xref>], deliver treatment through structured, sequential modules emphasizing behavioral prescriptions such as sleep restriction, stimulus control, and sleep diary monitoring. These systems have demonstrated clinical efficacy in randomized controlled trials and meta-analyses and play a critical role in expanding access to evidence-based insomnia treatment.</p><p>A recent large-scale meta-analysis of fully automated digital CBT-I including 32 randomized controlled trials reported a moderate-to-large posttreatment effect on insomnia severity (standardized mean difference &#x2212;0.71, 95% CI &#x2212;0.88 to &#x2212;0.54; <italic>P</italic>&#x003C;.001; <italic>k</italic>=32), although statistical heterogeneity was considerable (<italic>I</italic>&#x00B2;=91%) [<xref ref-type="bibr" rid="ref68">68</xref>]. Furthermore, therapist-assisted CBT-I has consistently demonstrated stronger effects than fully automated formats, suggesting that supportive or interactive components contribute meaningfully beyond standardized behavioral content delivery.</p><p>Systematic reviews examining commercial dCBT-I applications have highlighted the importance of engagement-oriented design. Uyumaz et al [<xref ref-type="bibr" rid="ref69">69</xref>] observed that most applications incorporate interactive panels, sleep diaries, feedback loops, reminders, goal-setting modules, and motivational components to enhance user engagement and adherence. Despite these design features, adherence remains a persistent challenge in real-world digital behavioral interventions.</p><p>Recent clinical evidence suggests that adherence should not be conceptualized solely in terms of module completion. In a randomized controlled trial of smartphone-based dCBT-I, Lee et al [<xref ref-type="bibr" rid="ref70">70</xref>] demonstrated that behavioral adherence&#x2014;such as compliance with sleep efficiency targets and sleep restriction recommendations&#x2014;was more strongly associated with improvements in sleep outcomes than simple completion of modules. Similarly, meta-regression findings from fully automated dCBT-I analyses indicate that completion rate alone does not significantly predict treatment effect size [<xref ref-type="bibr" rid="ref68">68</xref>], underscoring the importance of qualitative aspects of engagement.</p><p>Taken together, these findings identify a specific gap in current digital CBT-I frameworks: while behavioral content is standardized and empirically supported, support for users&#x2019; cognitive engagement with these prescriptions&#x2014;particularly during early exposure and short-term use&#x2014;remains comparatively limited. Most systems personalize treatment at the level of content sequencing or progress adaptation. In contrast, SleepPathfinder introduces personalization at the level of interaction. Rather than modifying therapeutic guidelines, it supports users in examining their reasoning, emotional resistance, and readiness prior to committing to guideline-based actions.</p><p>The observed associations in this study between dialogue depth, self-explanatory language, and changes in cognitive appraisal suggest that interaction-level personalization may address engagement-related challenges identified in prior systematic reviews [<xref ref-type="bibr" rid="ref69">69</xref>]. By facilitating cognitive meaning-making before behavioral implementation, the system may complement existing dCBT-I frameworks that already provide strong behavioral scaffolding but limited dialogic exploration.</p><p>Finally, emerging perspectives on AI- and LLM-supported CBT-I propose that conversational systems may enhance personalization, real-time feedback, and adaptive motivational support [<xref ref-type="bibr" rid="ref71">71</xref>]. Within this evolving landscape, SleepPathfinder represents an initial step toward integrating structured CBT-I protocols with dialogue-based mechanisms designed to support adherence-related cognitive processes while maintaining the standardized foundation of established digital treatments.</p></sec><sec id="s4-5"><title>Limitations and Ethical Considerations</title><p>Several limitations should be considered when interpreting these findings. First, the sample size was modest, the intervention period was limited to 5 days, and no clinical sleep outcomes were assessed. Accordingly, the study was not designed to evaluate treatment effectiveness, symptom reduction, or long-term adherence. The pilot study was intentionally designed as a single-session evaluation to assess immediate usability and interaction quality, rather than sustained engagement or behavioral outcomes. Additionally, the system has not undergone clinical validation as a therapeutic intervention, and its effects on formally diagnosed insomnia populations remain to be established in rigorously controlled trials.</p><p>Second, participants were recruited from a university population and were not selected based on formal insomnia diagnoses, limiting generalizability to clinical populations. Moreover, recruitment was voluntary, potentially introducing selection bias toward individuals who are more technologically familiar or open to AI-mediated interaction.</p><p>Qualitative feedback from the pilot study was analyzed using an exploratory thematic summarization approach rather than a formal qualitative methodology. Thematic grouping was conducted by the research team without independent multirater coding or calculation of interrater reliability. Accordingly, these qualitative findings should be interpreted as descriptive insights intended to inform iterative system refinement rather than as rigorously validated thematic conclusions. Because participants were aware that they were taking part in a study evaluating the system, engagement patterns and reported experiences may have been influenced by observation effects (ie, a Hawthorne effect).</p><p>From a technical perspective, some system components exhibited limitations. In particular, generative inference mechanisms used to support Socratic questioning may be vulnerable to misclassification or abstraction errors when applied to open-ended user input. While additional technical validation was conducted to ensure functional reliability of the system components, these mechanisms were not used for clinical decision-making or outcome evaluation. Their limitations, nonetheless, highlight the need for caution when deploying language model&#x2013;based reasoning tools in mental health&#x2013;related contexts. Additionally, although retrieval-based grounding was used to reduce hallucination risk, algorithmic biases in dataset composition or embedding similarity may influence which counseling examples are retrieved and emphasized, potentially shaping recommendation framing in subtle ways.</p><p>In addition, the intent classification dataset was partially constructed using LLM-based rewriting and annotation of Reddit posts. Although prompts were iteratively refined and outputs were manually reviewed during development, this process may have introduced systematic biases related to language style, community-specific expression patterns, or model-driven categorization. Future work should incorporate more diverse data sources and, where feasible, clinician-reviewed annotations to strengthen external validity.</p><p>Ethically, the system was not designed to detect or respond to acute psychological risk, and AI-mediated dialogue introduces risks related to misinterpretation, overdependence, and data privacy. While these risks were mitigated through study design, informed consent, and data anonymization, future deployments will require more robust safeguards, monitoring strategies, and appropriate clinical oversight.</p></sec><sec id="s4-6"><title>Future Directions</title><p>Future research should evaluate the proposed conversational structure in larger and more diverse samples, including clinically diagnosed insomnia populations, with longer intervention periods and behavior-based outcome measures such as sleep diaries and longitudinal usage logs. Critically, future studies should examine whether conversational support during early engagement phases translates into improved adherence and sustained behavioral practice within full-length CBT-I programs.</p><p>Although this study was conducted in nonclinical contexts, the cognitive engagement mechanisms identified here may inform future adaptations for individuals with clinically diagnosed insomnia. In particular, the integration of Socratic questioning and self-decision structures may support how users cognitively interpret and commit to standardized CBT-I protocols in both early-stage and clinical populations.</p><p>More broadly, this work suggests that digital CBT-I systems may benefit from being designed not as replacements for therapy, but as usability-oriented interaction layers that support users&#x2019; cognitive engagement with established, evidence-based treatment protocols. By clarifying how users make sense of and commit to standardized practices, conversational support systems may play a complementary role in improving real-world uptake and persistence of digital CBT-I interventions.</p></sec></sec></body><back><ack><p>Generative AI tools were used in a limited and supportive capacity during the research process. Their use was restricted to auxiliary assistance, and all substantive aspects of the study&#x2014;including research design, analytical decisions, interpretation of findings, and manuscript preparation&#x2014;were carried out by the authors. Generative AI systems did not contribute to the study&#x2019;s conclusions or independently generate any part of the manuscript.</p></ack><notes><sec><title>Funding</title><p>This research was supported by the following funding sources: (1) the Ministry of Science and ICT (MSIT), Korea, under the Graduate School of Metaverse Convergence Support Program (grant IITP-2025-RS-2023-00254129), supervised by the Institute for Information &#x0026; Communications Technology Planning &#x0026; Evaluation (IITP); (2) the Ministry of Science and ICT (MSIT), Korea, under the Global Scholars Invitation Program (grant RS-2024-00459638), also supervised by the IITP; (3) the Sports and Tourism R&#x0026;D Program through the Korea Creative Content Agency (KOCCA), funded by the Ministry of Culture, Sports and Tourism in 2024, under the project titled &#x201C;Development of Game-Based Digital Therapeutics Technology for Adolescent Mental Health (Psychological and Behavioral Control) Management&#x201D; (grant RS-2024-00344893); (4) the Institute of Information &#x0026; Communications Technology Planning &#x0026; Evaluation (IITP) grant funded by the Korean government (MSIT) (RS-2025-25442569, AI Star Fellowship Support Program [Sungkyunkwan University]); (5) the Institute of Information &#x0026; Communications Technology Planning &#x0026; Evaluation (IITP) grant funded by the Korean government (MSIT) (RS-2025-25443884, Development of Human-Oriented Next-Generation Artificial General Intelligence [AGI] Technology Based on Embodied Visionary AI Multi-Agents); (6) &#x201C;Regional Innovation System &#x0026; Education (RISE)&#x201D; through the Seoul RISE Center, funded by the Ministry of Education (MOE) and the Seoul Metropolitan Government (2025-RISE-01-018-05); and (7) the KOITA grant funded by MSIT (S-2025-1855-000). The funding sources had no role in the study design; data collection, analysis, or interpretation; manuscript preparation; or the decision to submit the manuscript for publication.</p></sec><sec><title>Data Availability</title><p>The datasets generated and analyzed during this study are not publicly available due to ethical and legal restrictions related to participant privacy and the inclusion of conversational data. Both the pilot usability study (approval no. SKKU 2025-03-013) and the experimental study (SKKU 2025-08-067-001) were conducted under institutional review board approval, which limits public sharing of raw conversational data. As a general principle, raw study data are not shared outside the research team. Any potential access, if granted, would require prior approval from the institutional review board and the execution of a formal data use agreement, and would be considered only at the discretion of the corresponding author. To support transparency of the reported results, aggregated and fully anonymized quantitative data from the pilot usability study are provided in <xref ref-type="supplementary-material" rid="app8">Multimedia Appendix 8</xref>. This appendix contains item-level descriptive statistics (means and SDs) for all pilot questionnaire items and includes no personally identifiable information.</p></sec></notes><fn-group><fn fn-type="con"><p>Conceptualization: YR, ASY</p><p>Data curation: YR</p><p>Formal analysis: YR</p><p>Investigation: YR</p><p>Methodology: YR</p><p>Project administration: HO</p><p>Software: YR</p><p>Supervision: HO, ASY</p><p>Visualization: YR</p><p>Writing &#x2013; original draft: YR</p><p>Writing &#x2013; review &#x0026; editing: YR, ASY</p></fn><fn fn-type="conflict"><p>None declared.</p></fn></fn-group><glossary><title>Abbreviations</title><def-list><def-item><term id="abb1">AI</term><def><p>artificial intelligence</p></def></def-item><def-item><term id="abb2">BERT</term><def><p>Bidirectional Encoder Representations From Transformers</p></def></def-item><def-item><term id="abb3">CBT</term><def><p>cognitive behavioral therapy</p></def></def-item><def-item><term id="abb4">CBT-I</term><def><p>cognitive behavioral therapy for insomnia</p></def></def-item><def-item><term id="abb5">CSAT</term><def><p>Customer Satisfaction Score</p></def></def-item><def-item><term id="abb6">dCBT-I</term><def><p>digital cognitive behavioral therapy for insomnia</p></def></def-item><def-item><term id="abb7">DDF</term><def><p>difficulty describing feelings</p></def></def-item><def-item><term id="abb8">DIF</term><def><p>difficulty identifying feelings</p></def></def-item><def-item><term id="abb9">EOT</term><def><p>externally oriented thinking</p></def></def-item><def-item><term id="abb10">FAISS</term><def><p>Facebook AI Similarity Search</p></def></def-item><def-item><term id="abb11">HBM</term><def><p>health belief model</p></def></def-item><def-item><term id="abb12">ISI</term><def><p>Insomnia Severity Index</p></def></def-item><def-item><term id="abb13">LLM</term><def><p>large language model</p></def></def-item><def-item><term id="abb14">NASA-TLX</term><def><p>NASA Task Load Index</p></def></def-item><def-item><term id="abb15">PAQ-S</term><def><p>Perth Alexithymia Questionnaire&#x2013;Short Form</p></def></def-item><def-item><term id="abb16">RAG</term><def><p>retrieval-augmented generation</p></def></def-item><def-item><term id="abb17">RoBERTa</term><def><p>Robustly Optimized BERT Approach</p></def></def-item><def-item><term id="abb18">SDT</term><def><p>self-determination theory</p></def></def-item><def-item><term id="abb19">SUS</term><def><p>System Usability Scale</p></def></def-item><def-item><term id="abb20">TPB</term><def><p>theory of planned behavior</p></def></def-item><def-item><term id="abb21">UEQ-S</term><def><p>User Experience Questionnaire&#x2013;Short</p></def></def-item><def-item><term id="abb22">UES</term><def><p>User Engagement Scale</p></def></def-item></def-list></glossary><ref-list><title>References</title><ref id="ref1"><label>1</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Watson</surname><given-names>NF</given-names> </name><name name-style="western"><surname>Badr</surname><given-names>MS</given-names> </name><name name-style="western"><surname>Belenky</surname><given-names>G</given-names> </name><etal/></person-group><article-title>Joint consensus statement of the American Academy of Sleep Medicine and Sleep Research Society on the recommended amount of sleep for a healthy adult: methodology and discussion</article-title><source>J Clin Sleep Med</source><year>2015</year><month>08</month><day>15</day><volume>11</volume><issue>8</issue><fpage>931</fpage><lpage>952</lpage><pub-id pub-id-type="doi">10.5664/jcsm.4950</pub-id><pub-id pub-id-type="medline">26235159</pub-id></nlm-citation></ref><ref id="ref2"><label>2</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Thumann</surname><given-names>BF</given-names> </name><name name-style="western"><surname>B&#x00F6;rnhorst</surname><given-names>C</given-names> </name><name name-style="western"><surname>Michels</surname><given-names>N</given-names> </name><etal/></person-group><article-title>Cross-sectional and longitudinal associations between psychosocial well-being and sleep in European children and adolescents</article-title><source>J Sleep Res</source><year>2019</year><month>04</month><volume>28</volume><issue>2</issue><fpage>e12783</fpage><pub-id pub-id-type="doi">10.1111/jsr.12783</pub-id><pub-id pub-id-type="medline">30609160</pub-id></nlm-citation></ref><ref id="ref3"><label>3</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Gehrman</surname><given-names>P</given-names> </name><name name-style="western"><surname>Seelig</surname><given-names>AD</given-names> </name><name name-style="western"><surname>Jacobson</surname><given-names>IG</given-names> </name><etal/></person-group><article-title>Predeployment sleep duration and insomnia symptoms as risk factors for new-onset mental health disorders following military deployment</article-title><source>Sleep</source><year>2013</year><month>07</month><day>1</day><volume>36</volume><issue>7</issue><fpage>1009</fpage><lpage>1018</lpage><pub-id pub-id-type="doi">10.5665/sleep.2798</pub-id><pub-id pub-id-type="medline">23814337</pub-id></nlm-citation></ref><ref id="ref4"><label>4</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Broberg</surname><given-names>L</given-names> </name><name name-style="western"><surname>Damm</surname><given-names>P</given-names> </name><name name-style="western"><surname>Frokjaer</surname><given-names>VG</given-names> </name><etal/></person-group><article-title>Evaluation of the effect of supervised group exercise on self-reported sleep quality in pregnant women with or at high risk of depression: a secondary analysis of a randomized controlled trial</article-title><source>Int J Environ Res Public Health</source><year>2022</year><month>05</month><day>13</day><volume>19</volume><issue>10</issue><fpage>5954</fpage><pub-id pub-id-type="doi">10.3390/ijerph19105954</pub-id><pub-id pub-id-type="medline">35627496</pub-id></nlm-citation></ref><ref id="ref5"><label>5</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Schutte-Rodin</surname><given-names>S</given-names> </name><name name-style="western"><surname>Broch</surname><given-names>L</given-names> </name><name name-style="western"><surname>Buysse</surname><given-names>D</given-names> </name><name name-style="western"><surname>Dorsey</surname><given-names>C</given-names> </name><name name-style="western"><surname>Sateia</surname><given-names>M</given-names> </name></person-group><article-title>Clinical guideline for the evaluation and management of chronic insomnia in adults</article-title><source>J Clin Sleep Med</source><year>2008</year><month>10</month><day>15</day><volume>4</volume><issue>5</issue><fpage>487</fpage><lpage>504</lpage><pub-id pub-id-type="medline">18853708</pub-id></nlm-citation></ref><ref id="ref6"><label>6</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Roth</surname><given-names>T</given-names> </name></person-group><article-title>Insomnia: definition, prevalence, etiology, and consequences</article-title><source>J Clin Sleep Med</source><year>2007</year><month>08</month><day>15</day><volume>3</volume><issue>5 Suppl</issue><fpage>S7</fpage><lpage>S10</lpage><pub-id pub-id-type="doi">10.5664/jcsm.26929</pub-id><pub-id pub-id-type="medline">17824495</pub-id></nlm-citation></ref><ref id="ref7"><label>7</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Riemann</surname><given-names>D</given-names> </name><name name-style="western"><surname>Baglioni</surname><given-names>C</given-names> </name><name name-style="western"><surname>Bassetti</surname><given-names>C</given-names> </name><etal/></person-group><article-title>European guideline for the diagnosis and treatment of insomnia</article-title><source>J Sleep Res</source><year>2017</year><month>12</month><volume>26</volume><issue>6</issue><fpage>675</fpage><lpage>700</lpage><pub-id pub-id-type="doi">10.1111/jsr.12594</pub-id><pub-id pub-id-type="medline">28875581</pub-id></nlm-citation></ref><ref id="ref8"><label>8</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Cunningham</surname><given-names>JEA</given-names> </name><name name-style="western"><surname>Shapiro</surname><given-names>CM</given-names> </name></person-group><article-title>Cognitive behavioural therapy for insomnia (CBT-I) to treat depression: a systematic review</article-title><source>J Psychosom Res</source><year>2018</year><month>03</month><volume>106</volume><fpage>1</fpage><lpage>12</lpage><pub-id pub-id-type="doi">10.1016/j.jpsychores.2017.12.012</pub-id><pub-id pub-id-type="medline">29455893</pub-id></nlm-citation></ref><ref id="ref9"><label>9</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Schlarb</surname><given-names>AA</given-names> </name><name name-style="western"><surname>Kulessa</surname><given-names>D</given-names> </name><name name-style="western"><surname>Gulewitsch</surname><given-names>MD</given-names> </name></person-group><article-title>Sleep characteristics, sleep problems, and associations of self-efficacy among German university students</article-title><source>Nat Sci Sleep</source><year>2012</year><volume>4</volume><fpage>1</fpage><lpage>7</lpage><pub-id pub-id-type="doi">10.2147/NSS.S27971</pub-id><pub-id pub-id-type="medline">23616724</pub-id></nlm-citation></ref><ref id="ref10"><label>10</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Williams</surname><given-names>AB</given-names> </name><name name-style="western"><surname>Dzierzewski</surname><given-names>JM</given-names> </name><name name-style="western"><surname>Griffin</surname><given-names>SC</given-names> </name><name name-style="western"><surname>Lind</surname><given-names>MJ</given-names> </name><name name-style="western"><surname>Dick</surname><given-names>D</given-names> </name><name name-style="western"><surname>Rybarczyk</surname><given-names>BD</given-names> </name></person-group><article-title>Insomnia disorder and behaviorally induced insufficient sleep syndrome: prevalence and relationship to depression in college students</article-title><source>Behav Sleep Med</source><year>2020</year><volume>18</volume><issue>2</issue><fpage>275</fpage><lpage>286</lpage><pub-id pub-id-type="doi">10.1080/15402002.2019.1578772</pub-id><pub-id pub-id-type="medline">30789063</pub-id></nlm-citation></ref><ref id="ref11"><label>11</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Ellis</surname><given-names>J</given-names> </name><name name-style="western"><surname>Hampson</surname><given-names>SE</given-names> </name><name name-style="western"><surname>Cropley</surname><given-names>M</given-names> </name></person-group><article-title>The role of dysfunctional beliefs and attitudes in late-life insomnia</article-title><source>J Psychosom Res</source><year>2007</year><month>01</month><volume>62</volume><issue>1</issue><fpage>81</fpage><lpage>84</lpage><pub-id pub-id-type="doi">10.1016/j.jpsychores.2006.06.007</pub-id><pub-id pub-id-type="medline">17188124</pub-id></nlm-citation></ref><ref id="ref12"><label>12</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Yu</surname><given-names>J</given-names> </name><name name-style="western"><surname>Xiang</surname><given-names>T</given-names> </name><name name-style="western"><surname>Pan</surname><given-names>J</given-names> </name></person-group><article-title>The relationship between dysfunctional beliefs and attitudes about sleep and sleep structure in patients with insomnia: a controlled study</article-title><source>Psychology</source><year>2020</year><volume>11</volume><issue>03</issue><fpage>541</fpage><lpage>549</lpage><pub-id pub-id-type="doi">10.4236/psych.2020.113035</pub-id></nlm-citation></ref><ref id="ref13"><label>13</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Carney</surname><given-names>CE</given-names> </name><name name-style="western"><surname>Harris</surname><given-names>AL</given-names> </name><name name-style="western"><surname>Moss</surname><given-names>TG</given-names> </name><name name-style="western"><surname>Edinger</surname><given-names>JD</given-names> </name></person-group><article-title>Distinguishing rumination from worry in clinical insomnia</article-title><source>Behav Res Ther</source><year>2010</year><month>06</month><volume>48</volume><issue>6</issue><fpage>540</fpage><lpage>546</lpage><pub-id pub-id-type="doi">10.1016/j.brat.2010.03.004</pub-id><pub-id pub-id-type="medline">20362977</pub-id></nlm-citation></ref><ref id="ref14"><label>14</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Clancy</surname><given-names>F</given-names> </name><name name-style="western"><surname>Prestwich</surname><given-names>A</given-names> </name><name name-style="western"><surname>Caperon</surname><given-names>L</given-names> </name><name name-style="western"><surname>Tsipa</surname><given-names>A</given-names> </name><name name-style="western"><surname>O&#x2019;Connor</surname><given-names>DB</given-names> </name></person-group><article-title>The association between worry and rumination with sleep in non-clinical populations: a systematic review and meta-analysis</article-title><source>Health Psychol Rev</source><year>2020</year><month>12</month><volume>14</volume><issue>4</issue><fpage>427</fpage><lpage>448</lpage><pub-id pub-id-type="doi">10.1080/17437199.2019.1700819</pub-id><pub-id pub-id-type="medline">31910749</pub-id></nlm-citation></ref><ref id="ref15"><label>15</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Carney</surname><given-names>CE</given-names> </name><name name-style="western"><surname>Harris</surname><given-names>AL</given-names> </name><name name-style="western"><surname>Falco</surname><given-names>A</given-names> </name><name name-style="western"><surname>Edinger</surname><given-names>JD</given-names> </name></person-group><article-title>The relation between insomnia symptoms, mood, and rumination about insomnia symptoms</article-title><source>J Clin Sleep Med</source><year>2013</year><month>06</month><day>15</day><volume>9</volume><issue>6</issue><fpage>567</fpage><lpage>575</lpage><pub-id pub-id-type="doi">10.5664/jcsm.2752</pub-id><pub-id pub-id-type="medline">23772190</pub-id></nlm-citation></ref><ref id="ref16"><label>16</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Hvenegaard</surname><given-names>M</given-names> </name><name name-style="western"><surname>Watkins</surname><given-names>ER</given-names> </name><name name-style="western"><surname>Poulsen</surname><given-names>S</given-names> </name><etal/></person-group><article-title>Rumination-focused cognitive behaviour therapy vs. cognitive behaviour therapy for depression: study protocol for a randomised controlled superiority trial</article-title><source>Trials</source><year>2015</year><month>08</month><day>11</day><volume>16</volume><fpage>344</fpage><pub-id pub-id-type="doi">10.1186/s13063-015-0875-y</pub-id><pub-id pub-id-type="medline">26260780</pub-id></nlm-citation></ref><ref id="ref17"><label>17</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Thakral</surname><given-names>M</given-names> </name><name name-style="western"><surname>Von Korff</surname><given-names>M</given-names> </name><name name-style="western"><surname>McCurry</surname><given-names>SM</given-names> </name><name name-style="western"><surname>Morin</surname><given-names>CM</given-names> </name><name name-style="western"><surname>Vitiello</surname><given-names>MV</given-names> </name></person-group><article-title>Changes in dysfunctional beliefs about sleep after cognitive behavioral therapy for insomnia: a systematic literature review and meta-analysis</article-title><source>Sleep Med Rev</source><year>2020</year><month>02</month><volume>49</volume><fpage>101230</fpage><pub-id pub-id-type="doi">10.1016/j.smrv.2019.101230</pub-id><pub-id pub-id-type="medline">31816582</pub-id></nlm-citation></ref><ref id="ref18"><label>18</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Ellis</surname><given-names>JG</given-names> </name><name name-style="western"><surname>Cushing</surname><given-names>T</given-names> </name><name name-style="western"><surname>Germain</surname><given-names>A</given-names> </name></person-group><article-title>Treating acute insomnia: a randomized controlled trial of a &#x201C;single-shot&#x201D; of cognitive behavioral therapy for insomnia</article-title><source>Sleep</source><year>2015</year><month>06</month><day>1</day><volume>38</volume><issue>6</issue><fpage>971</fpage><lpage>978</lpage><pub-id pub-id-type="doi">10.5665/sleep.4752</pub-id><pub-id pub-id-type="medline">25515106</pub-id></nlm-citation></ref><ref id="ref19"><label>19</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Alimoradi</surname><given-names>Z</given-names> </name><name name-style="western"><surname>Jafari</surname><given-names>E</given-names> </name><name name-style="western"><surname>Brostr&#x00F6;m</surname><given-names>A</given-names> </name><etal/></person-group><article-title>Effects of cognitive behavioral therapy for insomnia (CBT-I) on quality of life: a systematic review and meta-analysis</article-title><source>Sleep Med Rev</source><year>2022</year><month>08</month><volume>64</volume><fpage>101646</fpage><pub-id pub-id-type="doi">10.1016/j.smrv.2022.101646</pub-id><pub-id pub-id-type="medline">35653951</pub-id></nlm-citation></ref><ref id="ref20"><label>20</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Palagini</surname><given-names>L</given-names> </name><name name-style="western"><surname>Hertenstein</surname><given-names>E</given-names> </name><name name-style="western"><surname>Riemann</surname><given-names>D</given-names> </name><name name-style="western"><surname>Nissen</surname><given-names>C</given-names> </name></person-group><article-title>Sleep, insomnia and mental health</article-title><source>J Sleep Res</source><year>2022</year><month>08</month><volume>31</volume><issue>4</issue><fpage>e13628</fpage><pub-id pub-id-type="doi">10.1111/jsr.13628</pub-id><pub-id pub-id-type="medline">35506356</pub-id></nlm-citation></ref><ref id="ref21"><label>21</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Rossman</surname><given-names>J</given-names> </name></person-group><article-title>Cognitive-behavioral therapy for insomnia: an effective and underutilized treatment for insomnia</article-title><source>Am J Lifestyle Med</source><year>2019</year><volume>13</volume><issue>6</issue><fpage>544</fpage><lpage>547</lpage><pub-id pub-id-type="doi">10.1177/1559827619867677</pub-id><pub-id pub-id-type="medline">31662718</pub-id></nlm-citation></ref><ref id="ref22"><label>22</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Qaseem</surname><given-names>A</given-names> </name><name name-style="western"><surname>Kansagara</surname><given-names>D</given-names> </name><name name-style="western"><surname>Forciea</surname><given-names>MA</given-names> </name><name name-style="western"><surname>Cooke</surname><given-names>M</given-names> </name><name name-style="western"><surname>Denberg</surname><given-names>TD</given-names> </name><collab>Clinical Guidelines Committee of the American College of Physicians</collab></person-group><article-title>Management of chronic insomnia disorder in adults: a clinical practice guideline from the American College of Physicians</article-title><source>Ann Intern Med</source><year>2016</year><month>07</month><day>19</day><volume>165</volume><issue>2</issue><fpage>125</fpage><lpage>133</lpage><pub-id pub-id-type="doi">10.7326/M15-2175</pub-id><pub-id pub-id-type="medline">27136449</pub-id></nlm-citation></ref><ref id="ref23"><label>23</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Walker</surname><given-names>J</given-names> </name><name name-style="western"><surname>Muench</surname><given-names>A</given-names> </name><name name-style="western"><surname>Perlis</surname><given-names>ML</given-names> </name><name name-style="western"><surname>Vargas</surname><given-names>I</given-names> </name></person-group><article-title>Cognitive behavioral therapy for insomnia (CBT-I): a primer</article-title><source>Klin Spec Psihol</source><year>2022</year><volume>11</volume><issue>2</issue><fpage>123</fpage><lpage>137</lpage><pub-id pub-id-type="doi">10.17759/cpse.2022110208</pub-id><pub-id pub-id-type="medline">36908717</pub-id></nlm-citation></ref><ref id="ref24"><label>24</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Vargas</surname><given-names>I</given-names> </name><name name-style="western"><surname>Egeler</surname><given-names>M</given-names> </name><name name-style="western"><surname>Walker</surname><given-names>J</given-names> </name><name name-style="western"><surname>Benitez</surname><given-names>DD</given-names> </name></person-group><article-title>Examining the barriers and recommendations for integrating more equitable insomnia treatment options in primary care</article-title><source>Front Sleep</source><year>2023</year><volume>2</volume><fpage>1279903</fpage><pub-id pub-id-type="doi">10.3389/frsle.2023.1279903</pub-id><pub-id pub-id-type="medline">39210962</pub-id></nlm-citation></ref><ref id="ref25"><label>25</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Conroy</surname><given-names>DA</given-names> </name><name name-style="western"><surname>Ebben</surname><given-names>MR</given-names> </name></person-group><article-title>Referral practices for cognitive behavioral therapy for insomnia: a survey study</article-title><source>Behav Neurol</source><year>2015</year><volume>2015</volume><fpage>819402</fpage><pub-id pub-id-type="doi">10.1155/2015/819402</pub-id><pub-id pub-id-type="medline">26265887</pub-id></nlm-citation></ref><ref id="ref26"><label>26</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Koffel</surname><given-names>E</given-names> </name><name name-style="western"><surname>Bramoweth</surname><given-names>AD</given-names> </name><name name-style="western"><surname>Ulmer</surname><given-names>CS</given-names> </name></person-group><article-title>Increasing access to and utilization of cognitive behavioral therapy for insomnia (CBT-I): a narrative review</article-title><source>J Gen Intern Med</source><year>2018</year><month>06</month><volume>33</volume><issue>6</issue><fpage>955</fpage><lpage>962</lpage><pub-id pub-id-type="doi">10.1007/s11606-018-4390-1</pub-id><pub-id pub-id-type="medline">29619651</pub-id></nlm-citation></ref><ref id="ref27"><label>27</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Ulmer</surname><given-names>CS</given-names> </name><name name-style="western"><surname>Bosworth</surname><given-names>HB</given-names> </name><name name-style="western"><surname>Beckham</surname><given-names>JC</given-names> </name><etal/></person-group><article-title>Veterans Affairs primary care provider perceptions of insomnia treatment</article-title><source>J Clin Sleep Med</source><year>2017</year><month>08</month><day>15</day><volume>13</volume><issue>8</issue><fpage>991</fpage><lpage>999</lpage><pub-id pub-id-type="doi">10.5664/jcsm.6702</pub-id><pub-id pub-id-type="medline">28728623</pub-id></nlm-citation></ref><ref id="ref28"><label>28</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Denis</surname><given-names>D</given-names> </name><name name-style="western"><surname>Eley</surname><given-names>TC</given-names> </name><name name-style="western"><surname>Rijsdijk</surname><given-names>F</given-names> </name><etal/></person-group><article-title>Is digital cognitive behavioural therapy for insomnia effective in treating sub-threshold insomnia: a pilot RCT</article-title><source>Sleep Med</source><year>2020</year><month>02</month><volume>66</volume><fpage>174</fpage><lpage>183</lpage><pub-id pub-id-type="doi">10.1016/j.sleep.2019.10.007</pub-id><pub-id pub-id-type="medline">31901759</pub-id></nlm-citation></ref><ref id="ref29"><label>29</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Soh</surname><given-names>HL</given-names> </name><name name-style="western"><surname>Ho</surname><given-names>RC</given-names> </name><name name-style="western"><surname>Ho</surname><given-names>CS</given-names> </name><name name-style="western"><surname>Tam</surname><given-names>WW</given-names> </name></person-group><article-title>Efficacy of digital cognitive behavioural therapy for insomnia: a meta-analysis of randomised controlled trials</article-title><source>Sleep Med</source><year>2020</year><month>11</month><volume>75</volume><fpage>315</fpage><lpage>325</lpage><pub-id pub-id-type="doi">10.1016/j.sleep.2020.08.020</pub-id><pub-id pub-id-type="medline">32950013</pub-id></nlm-citation></ref><ref id="ref30"><label>30</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Vollert</surname><given-names>B</given-names> </name><name name-style="western"><surname>M&#x00FC;ller</surname><given-names>L</given-names> </name><name name-style="western"><surname>Jacobi</surname><given-names>C</given-names> </name><name name-style="western"><surname>Trockel</surname><given-names>M</given-names> </name><name name-style="western"><surname>Beintner</surname><given-names>I</given-names> </name></person-group><article-title>Effectiveness of an app-based short intervention to improve sleep: randomized controlled trial</article-title><source>JMIR Ment Health</source><year>2023</year><month>03</month><day>21</day><volume>10</volume><fpage>e39052</fpage><pub-id pub-id-type="doi">10.2196/39052</pub-id><pub-id pub-id-type="medline">36943337</pub-id></nlm-citation></ref><ref id="ref31"><label>31</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Kuhn</surname><given-names>E</given-names> </name><name name-style="western"><surname>Weiss</surname><given-names>BJ</given-names> </name><name name-style="western"><surname>Taylor</surname><given-names>KL</given-names> </name><etal/></person-group><article-title>CBT-I Coach: a description and clinician perceptions of a mobile app for cognitive behavioral therapy for insomnia</article-title><source>J Clin Sleep Med</source><year>2016</year><month>04</month><day>15</day><volume>12</volume><issue>4</issue><fpage>597</fpage><lpage>606</lpage><pub-id pub-id-type="doi">10.5664/jcsm.5700</pub-id><pub-id pub-id-type="medline">26888586</pub-id></nlm-citation></ref><ref id="ref32"><label>32</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Thorndike</surname><given-names>FP</given-names> </name><name name-style="western"><surname>Saylor</surname><given-names>DK</given-names> </name><name name-style="western"><surname>Bailey</surname><given-names>ET</given-names> </name><name name-style="western"><surname>Gonder-Frederick</surname><given-names>L</given-names> </name><name name-style="western"><surname>Morin</surname><given-names>CM</given-names> </name><name name-style="western"><surname>Ritterband</surname><given-names>LM</given-names> </name></person-group><article-title>Development and perceived utility and impact of an internet intervention for insomnia</article-title><source>E J Appl Psychol</source><year>2008</year><volume>4</volume><issue>2</issue><fpage>32</fpage><lpage>42</lpage><pub-id pub-id-type="doi">10.7790/ejap.v4i2.133</pub-id><pub-id pub-id-type="medline">20953264</pub-id></nlm-citation></ref><ref id="ref33"><label>33</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Sampson</surname><given-names>C</given-names> </name><name name-style="western"><surname>Bell</surname><given-names>E</given-names> </name><name name-style="western"><surname>Cole</surname><given-names>A</given-names> </name><etal/></person-group><article-title>Digital cognitive behavioural therapy for insomnia and primary care costs in England: an interrupted time series analysis</article-title><source>BJGP Open</source><year>2022</year><month>06</month><volume>6</volume><issue>2</issue><fpage>BJGPO.2021.0146</fpage><pub-id pub-id-type="doi">10.3399/BJGPO.2021.0146</pub-id><pub-id pub-id-type="medline">34862166</pub-id></nlm-citation></ref><ref id="ref34"><label>34</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Shin</surname><given-names>J</given-names> </name><name name-style="western"><surname>Kim</surname><given-names>S</given-names> </name><name name-style="western"><surname>Lee</surname><given-names>J</given-names> </name><etal/></person-group><article-title>Efficacy of mobile app-based cognitive behavioral therapy for insomnia: multicenter, single-blind randomized clinical trial</article-title><source>J Med Internet Res</source><year>2024</year><month>07</month><day>26</day><volume>26</volume><fpage>e50555</fpage><pub-id pub-id-type="doi">10.2196/50555</pub-id><pub-id pub-id-type="medline">39058549</pub-id></nlm-citation></ref><ref id="ref35"><label>35</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Park</surname><given-names>KM</given-names> </name><name name-style="western"><surname>Lee</surname><given-names>S</given-names> </name><name name-style="western"><surname>Lee</surname><given-names>Y</given-names> </name><name name-style="western"><surname>Moon</surname><given-names>DU</given-names> </name><name name-style="western"><surname>Lee</surname><given-names>E</given-names> </name></person-group><article-title>Validating the efficacy of a mobile digital therapeutic for insomnia (WELT-I): randomized controlled decentralized clinical trial</article-title><source>J Med Internet Res</source><year>2025</year><month>09</month><day>23</day><volume>27</volume><fpage>e70722</fpage><pub-id pub-id-type="doi">10.2196/70722</pub-id><pub-id pub-id-type="medline">40986751</pub-id></nlm-citation></ref><ref id="ref36"><label>36</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Siddals</surname><given-names>S</given-names> </name><name name-style="western"><surname>Torous</surname><given-names>J</given-names> </name><name name-style="western"><surname>Coxon</surname><given-names>A</given-names> </name></person-group><article-title>&#x201C;It happened to be the perfect thing&#x201D;: experiences of generative AI chatbots for mental health</article-title><source>NPJ Ment Health Res</source><year>2024</year><month>10</month><day>27</day><volume>3</volume><issue>1</issue><fpage>48</fpage><pub-id pub-id-type="doi">10.1038/s44184-024-00097-4</pub-id><pub-id pub-id-type="medline">39465310</pub-id></nlm-citation></ref><ref id="ref37"><label>37</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Yuan</surname><given-names>A</given-names> </name><name name-style="western"><surname>Garcia Colato</surname><given-names>E</given-names> </name><name name-style="western"><surname>Pescosolido</surname><given-names>B</given-names> </name><name name-style="western"><surname>Song</surname><given-names>H</given-names> </name><name name-style="western"><surname>Samtani</surname><given-names>S</given-names> </name></person-group><article-title>Improving workplace well-being in modern organizations: a review of large language model-based mental health chatbots</article-title><source>ACM Trans Manage Inf Syst</source><year>2025</year><month>03</month><day>31</day><volume>16</volume><issue>1</issue><fpage>1</fpage><lpage>26</lpage><pub-id pub-id-type="doi">10.1145/3701041</pub-id></nlm-citation></ref><ref id="ref38"><label>38</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Fitzpatrick</surname><given-names>KK</given-names> </name><name name-style="western"><surname>Darcy</surname><given-names>A</given-names> </name><name name-style="western"><surname>Vierhile</surname><given-names>M</given-names> </name></person-group><article-title>Delivering cognitive behavior therapy to young adults with symptoms of depression and anxiety using a fully automated conversational agent (Woebot): a randomized controlled trial</article-title><source>JMIR Ment Health</source><year>2017</year><month>06</month><day>6</day><volume>4</volume><issue>2</issue><fpage>e19</fpage><pub-id pub-id-type="doi">10.2196/mental.7785</pub-id><pub-id pub-id-type="medline">28588005</pub-id></nlm-citation></ref><ref id="ref39"><label>39</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Inkster</surname><given-names>B</given-names> </name><name name-style="western"><surname>Sarda</surname><given-names>S</given-names> </name><name name-style="western"><surname>Subramanian</surname><given-names>V</given-names> </name></person-group><article-title>An empathy-driven, conversational artificial intelligence agent (Wysa) for digital mental well-being: real-world data evaluation mixed-methods study</article-title><source>JMIR Mhealth Uhealth</source><year>2018</year><month>11</month><day>23</day><volume>6</volume><issue>11</issue><fpage>e12106</fpage><pub-id pub-id-type="doi">10.2196/12106</pub-id><pub-id pub-id-type="medline">30470676</pub-id></nlm-citation></ref><ref id="ref40"><label>40</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Anderson</surname><given-names>KN</given-names> </name></person-group><article-title>Insomnia and cognitive behavioural therapy-how to assess your patient and why it should be a standard part of care</article-title><source>J Thorac Dis</source><year>2018</year><month>01</month><volume>10</volume><issue>Suppl 1</issue><fpage>S94</fpage><lpage>S102</lpage><pub-id pub-id-type="doi">10.21037/jtd.2018.01.35</pub-id><pub-id pub-id-type="medline">29445533</pub-id></nlm-citation></ref><ref id="ref41"><label>41</label><nlm-citation citation-type="web"><person-group person-group-type="author"><name name-style="western"><surname>Taylor</surname><given-names>DJ</given-names> </name><name name-style="western"><surname>Peterson</surname><given-names>AL</given-names> </name><name name-style="western"><surname>Goodie</surname><given-names>JL</given-names> </name><etal/></person-group><article-title>Cognitive-behavioral therapy for insomnia in the military: therapist guide</article-title><source>The University of Arizona</source><year>2019</year><access-date>2026-03-16</access-date><comment><ext-link ext-link-type="uri" xlink:href="https://insomnia.arizona.edu/sites/default/files/2024-01/CBTI-M%20Therapist%20Materials.pdf">https://insomnia.arizona.edu/sites/default/files/2024-01/CBTI-M%20Therapist%20Materials.pdf</ext-link></comment></nlm-citation></ref><ref id="ref42"><label>42</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Paul</surname><given-names>RW</given-names> </name><name name-style="western"><surname>Elder</surname><given-names>L</given-names> </name></person-group><article-title>Critical thinking: the nature of critical and creative thought</article-title><source>J Dev Educ</source><year>2006</year><access-date>2026-03-16</access-date><volume>30</volume><issue>2</issue><fpage>34</fpage><lpage>35</lpage><comment><ext-link ext-link-type="uri" xlink:href="https://www.proquest.com/docview/228409035?pq-origsite=gscholar&#x0026;fromopenview=true&#x0026;sourcetype=Scholarly%20Journals">https://www.proquest.com/docview/228409035?pq-origsite=gscholar&#x0026;fromopenview=true&#x0026;sourcetype=Scholarly%20Journals</ext-link></comment></nlm-citation></ref><ref id="ref43"><label>43</label><nlm-citation citation-type="web"><article-title>Introducing Llama 3.1: our most capable models to date</article-title><source>Meta AI</source><year>2024</year><month>07</month><day>23</day><access-date>2026-03-16</access-date><comment><ext-link ext-link-type="uri" xlink:href="https://ai.meta.com/blog/meta-llama-3-1">https://ai.meta.com/blog/meta-llama-3-1</ext-link></comment></nlm-citation></ref><ref id="ref44"><label>44</label><nlm-citation citation-type="book"><person-group person-group-type="author"><name name-style="western"><surname>Ang</surname><given-names>BH</given-names> </name><name name-style="western"><surname>Gollapalli</surname><given-names>SD</given-names> </name><name name-style="western"><surname>Ng</surname><given-names>SK</given-names> </name></person-group><article-title>Socratic question generation: a novel dataset, models, and evaluation</article-title><source>Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics</source><year>2023</year><publisher-name>Association for Computational Linguistics</publisher-name><fpage>147</fpage><lpage>165</lpage><pub-id pub-id-type="doi">10.18653/v1/2023.eacl-main.12</pub-id></nlm-citation></ref><ref id="ref45"><label>45</label><nlm-citation citation-type="other"><person-group person-group-type="author"><name name-style="western"><surname>Hu</surname><given-names>EJ</given-names> </name><name name-style="western"><surname>Shen</surname><given-names>Y</given-names> </name><name name-style="western"><surname>Wallis</surname><given-names>P</given-names> </name><name name-style="western"><surname>Allen-Zhu</surname><given-names>Z</given-names> </name><name name-style="western"><surname>Li</surname><given-names>Y</given-names> </name><name name-style="western"><surname>Wang</surname><given-names>S</given-names> </name><etal/></person-group><article-title>LoRA: low-rank adaptation of large language models</article-title><source>arXiv</source><comment>Preprint posted online on  Jun 17, 2021</comment><pub-id pub-id-type="doi">10.48550/arXiv.2106.09685</pub-id></nlm-citation></ref><ref id="ref46"><label>46</label><nlm-citation citation-type="book"><person-group person-group-type="author"><name name-style="western"><surname>Qi</surname><given-names>J</given-names> </name><name name-style="western"><surname>Xu</surname><given-names>Z</given-names> </name><name name-style="western"><surname>Shen</surname><given-names>Y</given-names> </name><etal/></person-group><article-title>The art of Socratic questioning: recursive thinking with large language models</article-title><source>Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing</source><year>2023</year><publisher-name>Association for Computational Linguistics</publisher-name><fpage>4177</fpage><lpage>4199</lpage><pub-id pub-id-type="doi">10.18653/v1/2023.emnlp-main.255</pub-id></nlm-citation></ref><ref id="ref47"><label>47</label><nlm-citation citation-type="other"><person-group person-group-type="author"><name name-style="western"><surname>Liu</surname><given-names>Y</given-names> </name><name name-style="western"><surname>Ott</surname><given-names>M</given-names> </name><name name-style="western"><surname>Goyal</surname><given-names>N</given-names> </name><name name-style="western"><surname>Du</surname><given-names>J</given-names> </name><name name-style="western"><surname>Joshi</surname><given-names>M</given-names> </name><name name-style="western"><surname>Chen</surname><given-names>D</given-names> </name><etal/></person-group><article-title>RoBERTa: a robustly optimized BERT pretraining approach</article-title><source>arXiv</source><comment>Preprint posted online on  Jul 26, 2019</comment><pub-id pub-id-type="doi">10.48550/arXiv.1907.11692</pub-id></nlm-citation></ref><ref id="ref48"><label>48</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>B&#x00E4;uml</surname><given-names>J</given-names> </name><name name-style="western"><surname>Frob&#x00F6;se</surname><given-names>T</given-names> </name><name name-style="western"><surname>Kraemer</surname><given-names>S</given-names> </name><name name-style="western"><surname>Rentrop</surname><given-names>M</given-names> </name><name name-style="western"><surname>Pitschel-Walz</surname><given-names>G</given-names> </name></person-group><article-title>Psychoeducation: a basic psychotherapeutic intervention for patients with schizophrenia and their families</article-title><source>Schizophr Bull</source><year>2006</year><month>10</month><volume>32</volume><issue>Suppl 1</issue><fpage>S1</fpage><lpage>S9</lpage><pub-id pub-id-type="doi">10.1093/schbul/sbl017</pub-id><pub-id pub-id-type="medline">16920788</pub-id></nlm-citation></ref><ref id="ref49"><label>49</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Bashiri</surname><given-names>Z</given-names> </name><name name-style="western"><surname>Aghajani</surname><given-names>M</given-names> </name><name name-style="western"><surname>Masoudi Alavi</surname><given-names>N</given-names> </name></person-group><article-title>Effects of psychoeducation on mental health in patients with coronary heart disease</article-title><source>Iran Red Crescent Med J</source><year>2016</year><month>05</month><volume>18</volume><issue>5</issue><fpage>e25089</fpage><pub-id pub-id-type="doi">10.5812/ircmj.25089</pub-id><pub-id pub-id-type="medline">27437125</pub-id></nlm-citation></ref><ref id="ref50"><label>50</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Paranthaman</surname><given-names>V</given-names> </name><name name-style="western"><surname>Satnam</surname><given-names>K</given-names> </name><name name-style="western"><surname>Lim</surname><given-names>JL</given-names> </name><etal/></person-group><article-title>Effective implementation of a structured psychoeducation programme among caregivers of patients with schizophrenia in the community</article-title><source>Asian J Psychiatr</source><year>2010</year><month>12</month><volume>3</volume><issue>4</issue><fpage>206</fpage><lpage>212</lpage><pub-id pub-id-type="doi">10.1016/j.ajp.2010.07.002</pub-id><pub-id pub-id-type="medline">23050889</pub-id></nlm-citation></ref><ref id="ref51"><label>51</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Sousa</surname><given-names>P</given-names> </name><name name-style="western"><surname>Martinho</surname><given-names>R</given-names> </name><name name-style="western"><surname>Parreira</surname><given-names>P</given-names> </name><name name-style="western"><surname>Luo</surname><given-names>G</given-names> </name></person-group><article-title>Editorial: mHealth tools for patient empowerment and chronic disease management</article-title><source>Front Psychol</source><year>2023</year><volume>14</volume><fpage>1206567</fpage><pub-id pub-id-type="doi">10.3389/fpsyg.2023.1206567</pub-id><pub-id pub-id-type="medline">37388655</pub-id></nlm-citation></ref><ref id="ref52"><label>52</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Battista</surname><given-names>S</given-names> </name><name name-style="western"><surname>Giardulli</surname><given-names>B</given-names> </name><name name-style="western"><surname>Sieiro Santos</surname><given-names>C</given-names> </name><etal/></person-group><article-title>Digital health and self-management in idiopathic inflammatory myopathies: a missed opportunity?</article-title><source>Curr Rheumatol Rep</source><year>2024</year><month>11</month><volume>26</volume><issue>11</issue><fpage>383</fpage><lpage>391</lpage><pub-id pub-id-type="doi">10.1007/s11926-024-01157-6</pub-id><pub-id pub-id-type="medline">39115596</pub-id></nlm-citation></ref><ref id="ref53"><label>53</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Al-Wahedi</surname><given-names>M</given-names> </name><name name-style="western"><surname>Ismail</surname><given-names>S</given-names> </name><name name-style="western"><surname>AlKhofani</surname><given-names>W</given-names> </name><name name-style="western"><surname>Azman</surname><given-names>A</given-names> </name></person-group><article-title>Automation of electronic cognitive behavioural therapy (automated-eCBT) in adapting psychotherapy in a clinical context: a review</article-title><source>Psychology (Irvine)</source><year>2024</year><volume>15</volume><issue>9</issue><fpage>1474</fpage><lpage>1503</lpage><pub-id pub-id-type="doi">10.4236/psych.2024.159087</pub-id></nlm-citation></ref><ref id="ref54"><label>54</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Guo</surname><given-names>L</given-names> </name><name name-style="western"><surname>Li</surname><given-names>L</given-names> </name><name name-style="western"><surname>Lu</surname><given-names>Y</given-names> </name><etal/></person-group><article-title>Effects of empowerment education on the self-management and self-efficacy of liver transplant patients: a randomized controlled trial</article-title><source>BMC Nurs</source><year>2023</year><month>04</month><day>28</day><volume>22</volume><issue>1</issue><fpage>146</fpage><pub-id pub-id-type="doi">10.1186/s12912-023-01298-6</pub-id><pub-id pub-id-type="medline">37118749</pub-id></nlm-citation></ref><ref id="ref55"><label>55</label><nlm-citation citation-type="book"><person-group person-group-type="author"><name name-style="western"><surname>Lewis</surname><given-names>P</given-names> </name><name name-style="western"><surname>Perez</surname><given-names>E</given-names> </name><name name-style="western"><surname>Piktus</surname><given-names>A</given-names> </name><name name-style="western"><surname>Petroni</surname><given-names>F</given-names> </name><name name-style="western"><surname>Karpukhin</surname><given-names>V</given-names> </name><name name-style="western"><surname>Goyal</surname><given-names>N</given-names> </name><etal/></person-group><article-title>Retrieval-augmented generation for knowledge-intensive NLP tasks</article-title><source>Proceedings of the 34th International Conference on Neural Information Processing Systems (NeurIPS)</source><year>2020</year><publisher-name>Curran Associates Inc</publisher-name><fpage>9459</fpage><lpage>9474</lpage><pub-id pub-id-type="other">9781713829546</pub-id></nlm-citation></ref><ref id="ref56"><label>56</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Douze</surname><given-names>M</given-names> </name><name name-style="western"><surname>Guzhva</surname><given-names>A</given-names> </name><name name-style="western"><surname>Deng</surname><given-names>C</given-names> </name><etal/></person-group><article-title>The FAISS library</article-title><source>IEEE Trans Big Data</source><year>2026</year><volume>12</volume><issue>2</issue><fpage>346</fpage><lpage>361</lpage><pub-id pub-id-type="doi">10.1109/TBDATA.2025.3618474</pub-id></nlm-citation></ref><ref id="ref57"><label>57</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Clark</surname><given-names>GI</given-names> </name><name name-style="western"><surname>Egan</surname><given-names>SJ</given-names> </name></person-group><article-title>The Socratic method in cognitive behavioural therapy: a narrative review</article-title><source>Cogn Ther Res</source><year>2015</year><month>12</month><volume>39</volume><issue>6</issue><fpage>863</fpage><lpage>879</lpage><pub-id pub-id-type="doi">10.1007/s10608-015-9707-3</pub-id></nlm-citation></ref><ref id="ref58"><label>58</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Vittorio</surname><given-names>LN</given-names> </name><name name-style="western"><surname>Murphy</surname><given-names>ST</given-names> </name><name name-style="western"><surname>Braun</surname><given-names>JD</given-names> </name><name name-style="western"><surname>Strunk</surname><given-names>DR</given-names> </name></person-group><article-title>Using Socratic Questioning to promote cognitive change and achieve depressive symptom reduction: Evidence of cognitive change as a mediator</article-title><source>Behav Res Ther</source><year>2022</year><month>03</month><volume>150</volume><fpage>104035</fpage><pub-id pub-id-type="doi">10.1016/j.brat.2022.104035</pub-id><pub-id pub-id-type="medline">35016095</pub-id></nlm-citation></ref><ref id="ref59"><label>59</label><nlm-citation citation-type="book"><person-group person-group-type="author"><name name-style="western"><surname>Brooke</surname><given-names>J</given-names> </name></person-group><person-group person-group-type="editor"><name name-style="western"><surname>Jordan</surname><given-names>PW</given-names> </name><name name-style="western"><surname>Thomas</surname><given-names>B</given-names> </name><name name-style="western"><surname>McClelland</surname><given-names>IL</given-names> </name><name name-style="western"><surname>Weerdmeester</surname><given-names>B</given-names> </name></person-group><article-title>SUS: a quick and dirty usability scale</article-title><source>Usability Evaluation in Industry</source><year>1996</year><publisher-name>Taylor &#x0026; Francis</publisher-name><fpage>189</fpage><lpage>194</lpage><pub-id pub-id-type="other">9780429157011</pub-id></nlm-citation></ref><ref id="ref60"><label>60</label><nlm-citation citation-type="book"><person-group person-group-type="author"><name name-style="western"><surname>Hart</surname><given-names>SG</given-names> </name><name name-style="western"><surname>Staveland</surname><given-names>LE</given-names> </name></person-group><person-group person-group-type="editor"><name name-style="western"><surname>Hancock</surname><given-names>PA</given-names> </name><name name-style="western"><surname>Meshkati</surname><given-names>N</given-names> </name></person-group><article-title>Development of NASA-TLX (Task Load Index): results of empirical and theoretical research</article-title><source>Human Mental Workload</source><year>1988</year><publisher-name>North-Holland</publisher-name><fpage>139</fpage><lpage>183</lpage><pub-id pub-id-type="doi">10.1016/S0166-4115(08)62386-9</pub-id></nlm-citation></ref><ref id="ref61"><label>61</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>O&#x2019;Brien</surname><given-names>HL</given-names> </name><name name-style="western"><surname>Cairns</surname><given-names>P</given-names> </name><name name-style="western"><surname>Hall</surname><given-names>M</given-names> </name></person-group><article-title>A practical approach to measuring user engagement with the refined User Engagement Scale (UES) and new UES short form</article-title><source>Int J Hum Comput Stud</source><year>2018</year><month>04</month><volume>112</volume><fpage>28</fpage><lpage>39</lpage><pub-id pub-id-type="doi">10.1016/j.ijhcs.2018.01.004</pub-id></nlm-citation></ref><ref id="ref62"><label>62</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Fornell</surname><given-names>C</given-names> </name><name name-style="western"><surname>Johnson</surname><given-names>MD</given-names> </name><name name-style="western"><surname>Anderson</surname><given-names>EW</given-names> </name><name name-style="western"><surname>Cha</surname><given-names>J</given-names> </name><name name-style="western"><surname>Bryant</surname><given-names>BE</given-names> </name></person-group><article-title>The American Customer Satisfaction Index: nature, purpose, and findings</article-title><source>J Mark</source><year>1996</year><month>10</month><volume>60</volume><issue>4</issue><fpage>7</fpage><lpage>18</lpage><pub-id pub-id-type="doi">10.1177/002224299606000403</pub-id></nlm-citation></ref><ref id="ref63"><label>63</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Crowther</surname><given-names>ME</given-names> </name><name name-style="western"><surname>Ferguson</surname><given-names>SA</given-names> </name><name name-style="western"><surname>Gupta</surname><given-names>CC</given-names> </name><name name-style="western"><surname>Reynolds</surname><given-names>AC</given-names> </name></person-group><article-title>The development and validation of the Health Belief Model for Shift Workers (HBM-SW) scale</article-title><source>Behav Sleep Med</source><year>2024</year><volume>22</volume><issue>3</issue><fpage>353</fpage><lpage>377</lpage><pub-id pub-id-type="doi">10.1080/15402002.2023.2265520</pub-id><pub-id pub-id-type="medline">37807653</pub-id></nlm-citation></ref><ref id="ref64"><label>64</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Romero Reyes</surname><given-names>D</given-names> </name><name name-style="western"><surname>Moriano Le&#x00F3;n</surname><given-names>JA</given-names> </name><name name-style="western"><surname>Ybarra Sagarduy</surname><given-names>JL</given-names> </name></person-group><article-title>Development and validation of the help-seeking intention scale in university students with hazardous and harmful consumption of alcohol</article-title><source>Front Psychol</source><year>2023</year><volume>14</volume><fpage>1112810</fpage><pub-id pub-id-type="doi">10.3389/fpsyg.2023.1112810</pub-id><pub-id pub-id-type="medline">36939449</pub-id></nlm-citation></ref><ref id="ref65"><label>65</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Matin</surname><given-names>H</given-names> </name><name name-style="western"><surname>Nadrian</surname><given-names>H</given-names> </name><name name-style="western"><surname>Jahangiry</surname><given-names>L</given-names> </name><name name-style="western"><surname>Sarbakhsh</surname><given-names>P</given-names> </name><name name-style="western"><surname>Shaghaghi</surname><given-names>A</given-names> </name></person-group><article-title>Psychometric properties of the Persian Health Care Climate Questionnaire (HCCQ-P): assessment of type 2 diabetes care supportiveness in Iran</article-title><source>Patient Prefer Adherence</source><year>2019</year><volume>13</volume><fpage>783</fpage><lpage>793</lpage><pub-id pub-id-type="doi">10.2147/PPA.S201400</pub-id><pub-id pub-id-type="medline">31190760</pub-id></nlm-citation></ref><ref id="ref66"><label>66</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Schrepp</surname><given-names>M</given-names> </name><name name-style="western"><surname>Hinderks</surname><given-names>A</given-names> </name><name name-style="western"><surname>Thomaschewski</surname><given-names>J</given-names> </name></person-group><article-title>Design and evaluation of a short version of the User Experience Questionnaire (UEQ-S)</article-title><source>Int J Interact Multimed Artif Intell</source><year>2017</year><volume>4</volume><issue>6</issue><fpage>103</fpage><lpage>108</lpage><pub-id pub-id-type="doi">10.9781/ijimai.2017.09.001</pub-id></nlm-citation></ref><ref id="ref67"><label>67</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Preece</surname><given-names>DA</given-names> </name><name name-style="western"><surname>Mehta</surname><given-names>A</given-names> </name><name name-style="western"><surname>Petrova</surname><given-names>K</given-names> </name><etal/></person-group><article-title>The Perth Alexithymia Questionnaire-Short Form (PAQ-S): a 6-item measure of alexithymia</article-title><source>J Affect Disord</source><year>2023</year><month>03</month><day>15</day><volume>325</volume><fpage>493</fpage><lpage>501</lpage><pub-id pub-id-type="doi">10.1016/j.jad.2023.01.036</pub-id><pub-id pub-id-type="medline">36642314</pub-id></nlm-citation></ref><ref id="ref68"><label>68</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Hwang</surname><given-names>JW</given-names> </name><name name-style="western"><surname>Lee</surname><given-names>GE</given-names> </name><name name-style="western"><surname>Woo</surname><given-names>JH</given-names> </name><name name-style="western"><surname>Kim</surname><given-names>SM</given-names> </name><name name-style="western"><surname>Kwon</surname><given-names>JY</given-names> </name></person-group><article-title>Systematic review and meta-analysis on fully automated digital cognitive behavioral therapy for insomnia</article-title><source>NPJ Digit Med</source><year>2025</year><month>03</month><day>12</day><volume>8</volume><issue>1</issue><fpage>157</fpage><pub-id pub-id-type="doi">10.1038/s41746-025-01514-4</pub-id><pub-id pub-id-type="medline">40075149</pub-id></nlm-citation></ref><ref id="ref69"><label>69</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Erten Uyumaz</surname><given-names>B</given-names> </name><name name-style="western"><surname>Feijs</surname><given-names>L</given-names> </name><name name-style="western"><surname>Hu</surname><given-names>J</given-names> </name></person-group><article-title>A review of digital cognitive behavioral therapy for insomnia (CBT-I Apps): are they designed for engagement?</article-title><source>Int J Environ Res Public Health</source><year>2021</year><month>03</month><day>12</day><volume>18</volume><issue>6</issue><fpage>2929</fpage><pub-id pub-id-type="doi">10.3390/ijerph18062929</pub-id><pub-id pub-id-type="medline">33809308</pub-id></nlm-citation></ref><ref id="ref70"><label>70</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Lee</surname><given-names>S</given-names> </name><name name-style="western"><surname>Park</surname><given-names>KM</given-names> </name><name name-style="western"><surname>Lee</surname><given-names>DH</given-names> </name><name name-style="western"><surname>Choi</surname><given-names>EC</given-names> </name><name name-style="western"><surname>Lee</surname><given-names>Y</given-names> </name><name name-style="western"><surname>Lee</surname><given-names>E</given-names> </name></person-group><article-title>Impact of adherence to digital cognitive behavioral therapy for insomnia effectiveness</article-title><source>Yonsei Med J</source><year>2025</year><month>10</month><volume>66</volume><issue>10</issue><fpage>657</fpage><lpage>665</lpage><pub-id pub-id-type="doi">10.3349/ymj.2024.0398</pub-id><pub-id pub-id-type="medline">40992766</pub-id></nlm-citation></ref><ref id="ref71"><label>71</label><nlm-citation citation-type="journal"><person-group person-group-type="author"><name name-style="western"><surname>Lin</surname><given-names>C</given-names> </name><name name-style="western"><surname>Cheng</surname><given-names>C</given-names> </name><name name-style="western"><surname>Xia</surname><given-names>Y</given-names> </name><etal/></person-group><article-title>Internet-delivered cognitive behavioral therapy for insomnia: the future of insomnia treatment with large language models</article-title><source>Sleep Med X</source><year>2025</year><month>12</month><day>15</day><volume>10</volume><fpage>100157</fpage><pub-id pub-id-type="doi">10.1016/j.sleepx.2025.100157</pub-id><pub-id pub-id-type="medline">41246294</pub-id></nlm-citation></ref></ref-list><app-group><supplementary-material id="app1"><label>Multimedia Appendix 1</label><p>Prompt specifications used for annotation, data augmentation, Socratic questioning, confidence estimation, empathic response generation, and qualitative response clustering in the SleepPathfinder system.</p><media xlink:href="formative_v10i1e79242_app1.pdf" xlink:title="PDF File, 80 KB"/></supplementary-material><supplementary-material id="app2"><label>Multimedia Appendix 2</label><p>Item-level mean scores for the System Usability Scale (SUS) (N=45).</p><media xlink:href="formative_v10i1e79242_app2.png" xlink:title="PNG File, 64 KB"/></supplementary-material><supplementary-material id="app3"><label>Multimedia Appendix 3</label><p>Item-level mean scores for the NASA Task Load Index (NASA-TLX), reflecting perceived cognitive workload during chatbot interaction (N=45).</p><media xlink:href="formative_v10i1e79242_app3.png" xlink:title="PNG File, 46 KB"/></supplementary-material><supplementary-material id="app4"><label>Multimedia Appendix 4</label><p>Item-level mean scores for the User Engagement Scale (UES), reflecting focused attention, perceived usability, aesthetic appeal, and reward (N=45).</p><media xlink:href="formative_v10i1e79242_app4.png" xlink:title="PNG File, 73 KB"/></supplementary-material><supplementary-material id="app5"><label>Multimedia Appendix 5</label><p>Item-level mean scores for the Customer Satisfaction Score (CSAT), assessing overall satisfaction with the system&#x2019;s credibility and perceived usefulness (N=45).</p><media xlink:href="formative_v10i1e79242_app5.png" xlink:title="PNG File, 47 KB"/></supplementary-material><supplementary-material id="app6"><label>Multimedia Appendix 6</label><p>Artificial intelligence&#x2013;assisted exploratory thematic grouping.</p><media xlink:href="formative_v10i1e79242_app6.pdf" xlink:title="PDF File, 69 KB"/></supplementary-material><supplementary-material id="app7"><label>Multimedia Appendix 7</label><p>Key focal and exploratory outcomes with effect sizes, 95% CIs, and multiple-comparison adjustment. Mixed-effects models report fixed-effect estimates (<italic>&#x03B2;</italic>) for group &#x00D7; time interactions, whereas post-only outcomes report covariate-adjusted group effects. Benjamini-Hochberg&#x2013;adjusted <italic>q</italic> values are reported to control the false discovery rate (<italic>q</italic>=0.10).</p><media xlink:href="formative_v10i1e79242_app7.pdf" xlink:title="PDF File, 75 KB"/></supplementary-material><supplementary-material id="app8"><label>Multimedia Appendix 8</label><p>Item-level descriptive statistics for pilot usability evaluation measures.</p><media xlink:href="formative_v10i1e79242_app8.xlsx" xlink:title="XLSX File, 10 KB"/></supplementary-material></app-group></back></article>