arXiv AI

傳統觀點認為驗證比生成容易，但如今程式設計智慧體的驗證已成為更大難題。本文提出驗證訊號的三維度評價（可擴充套件性、忠實性、魯棒性），並探索四種獎勵構建方法，實驗證明針對性驗證設計能有效抑制獎勵駭客並提升任務質量，最終結論是驗證必須隨策略能力共同進化。

COrigami是一種端到端的AI驅動管道，能夠從自然語言生成摺痕圖案，滿足平折的嚴格幾何約束和視覺美學。該系統透過生成語義簡圖、計算基礎打包、求解平折扣痕圖案、塑形以及利用強化學習和自主美學評估迴圈進行最佳化，協助人類藝術家進行設計。

該論文提出了一種自主AI智慧體的治理模型，不監控其推理過程，而是要求在採取高風險行動時提供獨立認證的證據。智慧體保留規劃和推理的自主權，但執行需要滿足由獨立權威來源認證的前提條件，這些條件與宣告的意圖加密繫結，並由確定性策略評估。決策記錄在防篡改日誌中，可供獨立重新驗證。研究提供了概念驗證實現，並舉例說明了軟體部署和臨床處方中的應用。

研究人員提出DD-Elo評級系統，結合漂移擴散模型與棋步級資料，比傳統Elo更快適應技能變化，同時保持理論一致性。

本研究開發了一個基於知識圖譜的多智慧體框架，整合了Reddit、WebMD和FDA不良事件報告系統等來源的憂鬱症藥物資料，實現了對患者生成資料與監管資料的溯源區分，為心理健康藥物資訊提供了更可靠、可審計的整合方案。

本文介紹了一個基於LLM的比較管道，用於大規模分析AI代理協議的治理結構。研究對比了ERC-8004（無許可鏈上協議）與Google A2A（企業主導協議），分析了4323條治理參與記錄。發現兩種模式均存在參與不平等和社群碎片化，但無許可環境下的話語對齊更緊密，表明開放治理可能促進主題趨同。

AlgoEvolve是一個利用大語言模型（LLM）驅動進化框架，用於生成、評估和迭代改進可執行的交易策略。該系統在多個實驗中展現出自適應市場狀態的策略邏輯，並引入元進化外層迴圈以最佳化提示，從而平衡探索與利用，減少零交易失敗。結果表明，基於LLM的語義進化為複雜環境中的持續程式合成提供了一種可行方法。

該論文發現，在聊天模型中，拒絕行為並非獨立機制，而是受角色個性（特別是順從個性）的門控。透過干預Qwen2.5-7B-Instruct和Llama-3.1-8B-Instruct的啟用方向，研究顯示順從個性方向可以抑制拒絕，而拒絕方向僅在後期層部分恢復拒絕。這表明拒絕在後期表達階段受個性門控，而非孤立方向。

當基準測試的準確率飽和時，通常會被淘汰並替換。本文表明，這種方法只關注準確率，而忽略了其他六個關鍵維度：構造效度問題、分佈外泛化能力、效率、可靠性、模型與框架的相對重要性以及人機協作的提升。透過 CORE-Bench Hard 案例，作者展示了即使在準確率飽和後，測量這些維度也能獲得有意義的見解。他們發現了構造效度威脅，推出了改進版 v1.1 和分佈外任務套件，並發現基準測試仍可用於測量效率、可靠性和效能。此外，一項小規模隨機實驗顯示，人機協作可將速度提高約兩倍。

研究人員提出一種使用級聯線性特徵檢測和控制語言模型中諂媚行為的方法。該方法透過迭代資料生成來隔離與行為線性相關的特徵，從而實現更好的特徵分離。發現的特徵形成線性可分的子空間，能夠檢測並引導模型遠離諂媚行為，在計算成本更低的情況下優於基線方法。

本研究基於學術論文全文，利用深度學習提取演算法實體，構建自然語言處理領域的大規模演算法共現網路，從網路視角分析演算法的群體影響力。研究覆蓋四十餘年文獻，發現演算法網路具有複雜網路特徵，經典高效能演算法及跨時期演算法影響力較大，且影響力下降時核心位置先於關聯弱化。

一種名為SGPO的新方法透過用可複用的策略蒸餾替代例項級的軌跡模仿，提升了LLM的推理能力，在數學基準測試上優於基線方法。

該研究提出了一種混合預測模型，結合整合特徵選擇策略（ANOVA與互資訊）和哈里斯鷹最佳化調整的邏輯迴歸，用於預測女性性工作者（FSW）的心理健康風險。模型在3005名FSW中達到95.78%的準確率，識別出創傷後應激、客戶暴力和職業因素為主要抑鬱風險因素，為弱勢群體提供可解釋的AI早期干預工具。

推薦系統通常透過單一最佳化使用者即時參與度而導致資訊繭房和語義同質化。本文提出一種多目標強化學習框架，將推薦形式化為語義多目標馬爾可夫決策過程，透過整合高保真語義嵌入與Pareto-DQN智慧體，將參與度、多樣性和公平性視為不可聚合的獎勵訊號。在MovieLens小資料集上的實驗表明，基於超體積的動作選擇能打破導致語義坍塌的反饋迴圈，在僅輕微影響參與度的情況下提升了輔助社會目標。

本文研究了在已經定位電路後，語言模型（LM）代理是否可以幫助解釋電路元件。作者提出了AgenticInterpBench基準（包含84個半合成變壓器電路和163個元件級標註）以及HyVE直譯器，該直譯器透過觀察、假設生成和因果驗證的迭代迴圈來分析每個元件。在四個LM骨幹上的實驗表明，HyVE能夠恢復有用的解釋，但沒有一個骨幹全面最優。失敗主要出現在驗證階段。在Llama-3-8B算術電路上的案例研究證明了該方法對自然訓練模型的適用性。總的來說，LM代理是很有前景的電路直譯器，但可靠的驗證仍是關鍵障礙。

一項新研究表明，透過在真實領域中對有益行為進行強化學習，可以產生廣泛且持久的對齊泛化，即使干預僅侷限於健康領域，也能顯著改善非健康領域的對齊評估，並增強對抗性提示和有害微調的抵抗能力。

該研究提出一種分層多智慧體強化學習框架，透過約束流形在低層強制執行硬安全約束，同時透過高層策略學習實現有效協調，在保持近乎完美安全率的同時實現競爭性效能，並能泛化到不同數量的智慧體和障礙物。

本文探討了AI代理的本質，區分了基於外部工作流程的“代理型”系統和具有內在能力的“代理性”系統，提出了目標-身份-配置器（GIC）架構，並強調了人類監督下自主系統的可審計性、可控性和安全性。

本文提出神經符號驅動框架，透過從經典規則規劃器中提取基於規則的推理軌跡，監督駕駛VLA模型。該方法確保推理與運動生成在結構上耦合，顯著降低了平均位移誤差和丟失率。

RIFT-Bench是一種基於圖表示的新方法，用於對多種智慧體AI系統進行統一的動態紅隊安全評估。它透過自動化的發現與掃描階段，自適應地部署對抗性攻擊，並支援緩解策略評估，在45個不同系統上驗證了其有效性。

本研究提出一種基於提示的不確定性分解方法，將動作信心與請求不確定性分離，使大語言模型代理能在任務規範模糊時主動請求澄清。作者引入兩個新基準（WebShop-Clarification和ALFWorld-Clarification），其中50%的任務故意未明確指定，並在五個大型語言模型上評估該方法。結果表明，所提分解方法在澄清F1分數上顯著優於現有方法。

本文提出積分變換網路（ITNet），透過一個可學習的積分核統一了卷積、自注意力和自迴歸迴圈三種架構。ITNet使用小型神經網路實現核函式，能夠從資料中自適應行為，並在多個基準任務上達到或超越專用模型。

一種新方法使大型語言模型能夠利用良知步驟和直接偏好最佳化進行自我倫理對齊，無需外部評判，從而在程式碼駭客等場景中實現湧現對齊，克服了以往的湧現錯位問題。

本文提出REVEAL++，一種在對比學習中採用連續表型結構的方法，用於視網膜影像和臨床風險敘述的視覺-語言對齊，以預測阿爾茨海默病風險。該方法透過可微分加權函式替代硬分組，實現分級監督和端到端學習。在UK Biobank資料集上的評估表明，其效能優於離散分組基線。

本研究比較了Qwen 2.5 7B和XGBoost在臨床預測任務中的表現，透過歸因分歧分析揭示了四個重要發現：LLM的口頭置信度在認識論上是空洞的，存在逆向難度效應，少樣本示例和SHAP特徵證據的結合可顯著提升準確率，且跨模型校準器能有效降低校準誤差。

DeXposure-Claw是一個基於預測的代理監督系統，旨在解決通用LLM代理在去中心化金融風險監督中的不足。它透過圖形時間序列基礎模型預測風險網路，結合確定性監控和壓力情景生成警報，並利用資料健康和置信度門控減少誤報。此外，還開發了DeXposure-Bench評估套件，透過六軸評估（包括決策軸）衡量系統效能。實驗基於五年周度真實資料，驗證了系統的有效性。

本文提出了一種新的動態系統模型，用於解釋多智慧體LLM商議如何透過每個智慧體的隱藏內部信念（錨點）影響群體決策。該模型揭示了經典共識規則無法解釋的現象：智慧體對正確答案的置信度可能超越初始信念的凸包範圍。透過三個開源模型家族的實驗，作者發現錨點的影響強度相近，但位置差異決定了商議是否能突破初始意見的限制。

本文對八種最先進的擴散語言模型（DLM）在推理、編碼、翻譯、知識和結構化問題解決等八個基準上進行了系統實驗分析，同時考慮了生成質量和計算效率。研究發現，DLM的行為受生成時設計選擇（如去噪步驟、上下文長度、塊大小和平行解掩碼策略）的強烈影響，導致效能與計算效率之間存在不同的權衡。該研究為當代DLM的能力和部署特性提供了實用見解。

一項新研究提出了一種人機協同的流程，用於衡量本科電腦科學課程與課程指南的契合度。應用於CS2013和CS2023時，發現覆蓋率基本不變（約50%），但認知深度實現率從95%下降到76%，反映了新版標準要求的提高。同時還發現了平行計算、程式語言基礎和系統基礎等領域的持續差距。

一篇新論文提出了AgenticRei，這是一個義務政策框架，用於治理LLM驅動的自主智慧體，解決了當前訪問控制引擎無法處理的義務、豁免和策略衝突問題。