arXiv AI By Vanessa Figueiredo, Wilter Franceschi

CogniConsole: Externalizing Inference-Time Control as a Formal Abstraction for Reliable LLM Interactions

Read the original on arXiv AI →

arXiv:2607. 08774v1 Announce Type: new Abstract: Reliability in large language model (LLM) systems is typically framed as a function of model capability.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv AI
6d ago

Reasoning Models Can Control Their Chains of Thought When They Tell Themselves To

The paper investigates chain-of-thought (CoT) controllability in reasoning models, noting that traditional evaluations show low controllability when constraints are given in user prompts. It introduces Self‑Instructed CoT Controllability, where constraints are embedded as self‑instructions within the model’s CoT, leading to markedly higher controllability. The study also shows that simple self‑instruction prompts can bootstrap effective control and that this capability can be exploited for monitor evasion, raising concerns about CoT monitorability.

By Uriel Dolev, Idan Schwartz, Yoav Goldberg
arXiv Computation and Language
Aug 28

CritICL: Inference-Time Weak-to-Strong Generalization from Small Language Model Failure Modes

CritICL is an inference-time framework that enhances reasoning in large language models by using failure patterns from weaker models as critique-based in-context examples. It offers two variants: CritICL-dynamic, which predicts input-specific failure modes, and CritICL-static, which applies a global failure mode profile. Experiments show that CritICL outperforms standard in-context learning and rivals test-time scaling methods while using fewer generations and lower token costs.

By Yufan Wu, Yinghui He, Zhengyi Hu, Lang Wei, Ruichen Li, Qifan Yang, Ting Zhu
arXiv AI
6d ago

From Natural Language Intent to Executable Control: Hierarchical Feedback-Guided LLM Planning for Multi-component Cyber-Physical Systems

The paper introduces a hierarchical feedback framework that guides large language models (LLMs) to produce executable plans for cyber‑physical systems (CPSs) from natural language commands. It prompts LLMs to generate both a structured task plan and signal temporal logic (STL) constraints, then uses a sound algorithm to detect contradictions and provide feedback for plan revision. At execution time, diagnostic information from failed control synthesis—such as violated constraints and conflicting component assignments—is fed back to the LLM to enable task replanning, achieving an 87.9% success rate on seven heterogeneous CPS scenarios.

By Jinglin Dai, Jiawan Wang, Ruiqi Hong, Lei Bu