본문으로 건너뛰기
AI NEWS JOURNAL
arXiv cs.LGAI NEWS / JOURNAL

어떤 정책에 맞게 교정되었나요? 개입하에 고정된 세계 모델에 대한 동형 불확실성

arXiv:2610.35877v1 발표 유형: 신규 초록: 배포 정책을 변경하면, 물리적 전이 메커니즘과 예측기만 그대로 유지된 채 세계 모델의 불확실성이 무효화될 수 있다. 한 단계 예측의 경우, 출처와 목표 법칙이 조건부 메커니즘 $P(Y|X)=Q(Y|X)$를 공유한다면, 해당 개입은 사전 결과 변화에 따른 측도 $w(X)=dQ_X/dP_X$로 식별된다. 정책에 의해 제어되는 동역학에서는 이 비율이 상태 점유율과 행동 성향 항으로 분해된다. 가중 합동 교정은 한계 커버리지를 목표 법칙으로 이전하며, 추정된 비율 $\hat w$를 이용하면 $P_Q\{Y \in C_{\hat w}(X)\} \ge 1-\alpha-TV(Q,\hat Q) \ge 1-\alpha-E_P|w-\hat w|$가 성립한다. 출처 대 목표 도메인 분류기에 대한 집단 로그손실 후회는 동일한 비율 오차를 상한한다. 만약 $h$가 그 클립…

번역이 완료되지 않아 원문을 표시합니다.

Abstract:Changing a deployment policy can invalidate a world model's uncertainty while leaving the physical transition mechanism and predictor unchanged. For one-step prediction, if source and target laws share the conditional mechanism $P(Y|X)=Q(Y|X)$, then the intervention is identified by the pre-outcome change of measure $w(X)=dQ_X/dP_X$. For policy-controlled dynamics this ratio factors into state-occupancy and action-propensity terms. Weighted conformal calibration transports marginal coverage to the target law; with an estimated ratio $\hat w$, $P_Q\{Y \in C_{\hat w}(X)\} \ge 1-\alpha-TV(Q,\hat Q) \ge 1-\alpha-E_P|w-\hat w|$. Population log-loss regret for a source-versus-target domain classifier bounds the same ratio error. If $h$ is its clipped target posterior, $\rho$ is the target-domain prior, and $\Delta(h)$ is population log-loss regret, then $E_P|w-\hat w_h| \le (1/(\rho\gamma))\sqrt{\Delta(h)/2}$. An exact cancellation improves the dependence from a generic odds-map bound of order $\gamma^{-2}$ to $(\rho\gamma)^{-1}$. Our experiments use a released DINO-feature world model and physical Franka trajectories. Under the strongest controlled state-action shift, ordinary 90% conformal sets cover 55.0%, whereas oracle and learned-ratio calibration cover 91.0% and 90.9%. The learned surrogate remains within 0.9% total variation of the target law. Calibration is relative to the deployment law: the model can remain fixed while calibration follows the intervention. We machine-check in Lean 4 the finite-support algebraic and causal identities used in the classifier-regret argument, including its coverage-composition step.

Submission history

Access Paper:

View PDF

HTML (experimental)

TeX Source

Additional Features

Audio Summary

Current browse context:

References & Citations

Google Scholar

Semantic Scholar

Bookmark

Institution

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

자료 출처

arXiv cs.LG
← 전체 소식 이어 읽기