arXiv Science⌕ Search

arXiv · 2610.05159

Proactive AI: From Turns to Replannable Dialogue Timelines

Abstract

Conventional large-language-model chat interfaces typically follow user-initiated turns: each request elicits a response, after which the system waits for further input. Human asynchronous communication instead unfolds over time through message bursts, delays, silence, resumed topics, and self-initiated contact. Proactive dialogue therefore requires not only deciding when to speak, but also managing pending conversational actions and allowing them to be revised as context evolves. We introduce Proactive AI, a framework for proactive dialogue built around replannable temporal message queues. The framework treats interaction as a continuous event timeline and unsent conversational actions as revisable state. A user event, dialogue-pacemaker event, or scheduled decision may yield silence, one or more immediate messages, or future conversational actions. The system may also observe a user message without an immediate visible response and defer the response decision. Before delivery, every planned message must be reconsidered against the current context; reaching a scheduled time does not itself authorize delivery. We provide a formal semantics that characterizes when future conversational actions may be revised, withdrawn, or executed as context evolves. The framework extends AI participation beyond responses to current requests, enabling self-initiated exchanges without new requests, sustained follow-up over time, and revisions of subsequent actions as context evolves. It provides an executable basis for long-term human-AI interaction in tutoring, scientific collaboration, and everyday companionship.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zijie Yang. 2026-10-04. Proactive AI: From Turns to Replannable Dialogue Timelines. https://arxiv.org/abs/2610.05159

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

CHOMP: Multimodal Chewing Side Detection with Earphones

Chewing-side preference (CSP) is a risk factor for temporomandibular disorders (TMDs) and a behavioral manifestation. Although TMDs affect roughly one-third of the global population, assessment relies on clinical examinations and self-reports, providing limited insight into everyday jaw function. We present CHOMP, the first earphone-based chewing-side detection system for continuous CSP monitoring. Using OpenEarable 2.0, we collected multimodal data from 20 participants with microphones, a bone-conduction microphone, IMU, PPG, and a pressure sensor across diverse foods, activities, and acoustic-interference conditions. CHOMP models paired-ear temporal feature sequences using modality-specific bidirectional GRUs, multimodal fusion, and prototype-based classification with an optional short user adaptation. Microphones achieve the strongest single-sensor performance, with median macro F1 scores of 97.2% under leave-one-food-out (LOFO) and 95.7% under leave-one-subject-out (LOSO) evaluation after user adaptation. Multimodal fusion reaches 98.0% under LOFO and 97.3% under adapted LOSO. We demonstrate CHOMP's performance under three acoustic-interference conditions and within a cafeteria setting. Our results establish earphones as a practical platform for everyday CSP monitoring and jaw-function assessment.

cs.HC↗

How Children Design and Reason about Trustworthy AI Chatbots

Children increasingly interact with AI chatbots, making trust calibration essential to AI literacy. Prior research has examined children's trust in AI mainly as users evaluating systems built by others, rather than as designers of their own chatbots. We developed a chatbot-building environment with adjustable trust-relevant traits (e.g., confidence, transparency, formality, assertiveness), rules, and persona. We conducted mixed-methods study with 115 learners (ages 8-18) who made 119 chatbots. We examined how children configured their chatbots, reasoned about trustworthiness, and how closely chatbot behavior aligned with their designs. Younger students (age 10-13) set significantly higher confidence than older students (age 14-18), and some deliberately built chatbots that gave wrong answers on purpose, yet still called them trustworthy, arguing that a chatbot does what it was built to do. Younger students equated trust with purpose-fulfillment, while older students linked it to transparent, calibrated design. Students also calibrated academic chatbots to be more transparent and formal than hobby chatbots. We identify seven design dimensions describing what children believe makes a chatbot trustworthy, and discuss implications for AI literacy tools.

cs.HC↗

LeanSide: A Formally Verified Co-Reasoning System for Natural-language Proofs

Large language models are increasingly used as collaborators on deductive-reasoning tasks, but their outputs can hallucinate or pull users away from intended reasoning. Formal proof assistants provide machine-checked verification, but have a steep learning curve and require more granular reasoning than human written proofs. We explore an interface that combines these strengths, allowing users to write and revise free-form natural-language proofs while a verified backend checks their reasoning and returns feedback at the user's granularity. We study this interface in the context of undergraduate mathematics education by developing LeanSide, a formally verified co-reasoning system, which auto-formalizes student reasoning into Lean and informalizes verifier output into understandable feedback. We conducted user studies through classroom deployment and analyzed which system properties helped students make progress and which caused them to get stuck. We use these findings to derive design implications for using a formally verified backend in human-AI co-reasoning systems.

cs.HC↗