研究論文

Active Discovery of Hidden Business Cascades under Rule Drift

規則漂移下隱含業務級聯的主動發現

關注業務規則變化時，隱含依賴與級聯關係的發現。

Time-Consistent Evidence Assembly across Documents and Transactional Data for AI Agents

面向 AI 智能體的跨文件與交易資料時間一致性證據組裝

關注跨文件與交易資料組裝證據時的時間一致性。

Online Context Scheduling under Cache Expiry and Human Approval Delays

快取失效與人工審批延遲下的線上脈絡排程

關注快取過期與人工審批等待對脈絡排程的影響。

Preserving Business Semantics in Multilingual Tool Workflows: Contract Checks and Model-Failure Diagnosis

保持多語言工具工作流程的業務語義：契約檢查與模型失敗診斷

關注多語言工具呼叫中的業務語義、契約檢查與模型失敗診斷。

Dependency-Complete Tool Discovery in Evolving Enterprise Tool Catalogs

演變中的企業工具目錄之依賴完備工具探索

關注企業工具目錄變化時，工具探索所需的依賴完整性。

Incremental Repair of Agent Memory and Plans after Business Evidence Revisions

業務證據修訂後智能體記憶與計畫的增量修復

關注業務證據修訂後，智能體記憶與計畫如何增量修復。

Clarification Planning for AI Agents under Shared Question Budgets

共享提問預算下 AI 智能體的釐清規劃

關注多個智能體共享有限提問機會時的釐清規劃。

Repairing AI Agent Task Graphs: Audit-Guided Recomputations versus Full-Context Rewriting

修復 AI 智能體任務圖：稽核引導的重新計算與完整脈絡重寫

關注稽核引導的重新計算與完整脈絡重寫兩類任務圖修復方式。

Evaluating Lifecycle Interactions in AI Agents across Memory, Approval, Execution, and Recovery

評估 AI 智能體記憶、審批、執行與復原的生命週期互動

關注記憶、審批、執行與復原機制之間的生命週期互動。

Evidence-Guided Recovery for AI Agents with Ambiguous Tool Outcomes and Partial Execution

工具結果不明確與部分執行下 AI 智能體的證據引導復原

關注工具結果不明確或操作只完成一部分時，如何依據證據復原任務。

Verifying Text-to-SQL Queries under Changing Business Semantics

業務語義變化下的 Text-to-SQL 查詢驗證

關注業務語義變化時，自然語言產生 SQL 查詢的驗證。

Change Detection for Task Resumption in AI Agents: An Empirical Study

AI 智能體任務恢復中的變更偵測：實證研究

關注 AI 智能體恢復已暫停任務時的變更偵測。

Authorization-Preserving Context Lifecycles for Long-Horizon AI Agents

面向長時域 AI 智能體的授權保持型脈絡生命週期

關注長時域智能體在脈絡生命週期中如何保持授權邊界。

Authorization for Self-Modifying AI Agent Populations: Conserving Authority across Replacement, Forking, and Rollback

自修改 AI 智能體群體的授權：跨替換、分叉與回滾保持權限守恆

關注自修改智能體群體在替換、分叉與回滾過程中的權限守恆。

Fault-Tolerant Budget Conservation in Distributed Multi-Agent Delegation

分散式多智能體委派中的容錯預算守恆

關注分散式多智能體委派中的容錯與預算守恆。

Language-Conditioned Token and Reasoning Efficiency in Large Language Models: A Paired Cross-Lingual Study Protocol

大型語言模型中受語言影響的 Token 與推理效率：配對跨語言研究方案

提出圍繞 Token 用量與推理效率的配對跨語言研究方案。

Runtime Authorization of Self-Generated Subgoals in Long-Horizon Tool-Using AI Agents

長時域工具型 AI 智能體自行產生子目標的執行期授權

關注長時域工具型智能體自行產生子目標時的執行期授權。

Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution

面向長時執行 AI 智能體的授權撤銷：委派與非同步執行下的根作用域靜止性

一種根作用域撤銷協定，封堵由舊根授權支撐的委派與非同步路徑，同時保留由目前獨立充分授權支撐的工作。

AcquireBound: Runtime Authorization for Resources Acquired by AI Agents

面向 AI 智能體所取得資源的執行階段授權

一種受來源約束的執行階段架構，隔離智能體取得的資源，解析其真實能力，並只啟用符合目前關係型政策邊界的授權。

Versioned Transitive Dependency-Closure Binding and Operation-Time Effect Governance for Agent Skills: ClosureBound

面向智能體技能的版本化傳遞依賴閉包綁定與操作時效果治理：ClosureBound

一種參考監控器，將授權綁定到智能體技能的精確傳遞依賴閉包，並在產生持久化效果時重新驗證該閉包。

International Migration, Housing Demand Measurement, and Vancouver New-House Price Forecasting

國際遷移、住房需求衡量與溫哥華新建住宅價格預測

建立可重現的遷移相關占用住宅使用量指標，並檢驗其相對於溫哥華新建住宅價格基準模型的增量預測價值。

Explanation-Bound Tool Execution for AI Agents: Server-Verified Action Claims Without Trusting Model Rationales

面向 AI 智能體的解釋綁定工具執行：無需信任模型理由的服務端驗證行動聲明

一個攜帶聲明的中介層，將與決策相關的模型理由轉換為型別化行動聲明，並在進入受治理執行前依據服務端目前事實逐項驗證。

Intent-Governed Tool Authorization for AI Agents

面向 AI 智能體工具授權的意圖治理

一個服務端授權層，將工具可見性與擬產生的執行效果綁定到使用者目前明確表達的意圖，並且只會收窄、不會擴大既有權限。

OpenPort Protocol: A Security Governance Specification for AI Agent Tool Access

OpenPort Protocol：面向 AI 智能體工具存取的安全治理規範

一套以治理為先的規範，透過服務端授權、可審查寫入、可預測的失敗語義與稽核機制，安全地向 AI 智能體開放應用工具。