Hugging Face Trending Papers

Self-Certification of Representation Adequacy: Sequential Certification at Minimum Task Loss

Read the original on Hugging Face Trending Papers →

Agents that act on a compressed representation of their history face a structural risk: if the representation aliases histories with different optimal actions, no rule measurable with respect to the representation can avoid an irreducible per-round loss, and the agent may be unable to detect this from its own transcript. This paper develops a four-layer theory of self-certification of representation adequacy.

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 Hugging Face Trending Papers.

arXiv Machine Learning
Aug 4

Self-Certification of Representation Adequacy: Sequential Certification at Minimum Task Loss

arXiv:2608. 02267v1 Announce Type: cross Abstract: Agents that act on a compressed representation of their history face a structural risk: if the representation aliases histories with different optimal actions, no rule measurable with respect to the representation can avoid an irreducible per-round loss, and the agent may be unable to detect this from its own transcript.

By Zijie Huang
arXiv Machine Learning
Oct 22

Better Policies, Worse Verifier Audits

The paper investigates how verifier components used in post‑training and test‑time loops can collapse when they are refreshed based on aggregate success scores. It shows that as a policy improves on one conjunctive target, the verifier’s on‑policy AUC can shift to favor a worse component, leading to a preference for a full‑outcome predictor over the intended component oracle. The authors provide theoretical thresholds, empirical demonstrations on text control and ECG data, and propose a repair that audits the component on its own failures to prevent damage.

By Daniel Cie\'slak, Jacek {\L}ubi\'nski
arXiv Machine Learning
Nov 2

Certified Behavioral Retention for Continual Adaptation with Held-Out Anchors

Certified Anchor-Based Adaptation (CABA) is a post‑update gate for continual adaptation that reserves historical observations, compares old and candidate policies on frozen representations, and selects the largest interpolation coefficient whose worst‑anchor forward KL divergence stays within a declared budget. The method does not require action labels or complete trajectories and is supported by a theory‑led certification framework that provides uniform behavioral‑divergence bounds under representation‑coverage and Lipschitz assumptions. In a UCI Human Activity Recognition study, CABA reduced mean forgetting from 1.01 % to 0.00 % at a budget ε = 0.05, while slightly lowering final average accuracy.

By Ahanaf Hasan Ariq, Abrar Shahid
arXiv AI
Jul 20

From Black Box to Executable Logic: Explainable Reinforcement Learning through Prolog Expert Systems

arXiv:2607. 15459v1 Announce Type: new Abstract: A trained deep reinforcement learning policy is a black box, and we ask whether it can be made explainable by rewriting it as an executable logic program that reproduces its behaviour and that a person can read, a logic engine can run, and an optimizer can edit.

By Eduardo C. Garrido-Merch\'an