Polyhedral Methods for Cooperative Games: Small Lifts and Hard Faces
研究合作博弈中的算法问题，通过限制到k-加性游戏减小输入规模，并给出多项式大小线性规划解决方法及复杂度分析。
0 citationsRead paper
Selected work
Representative Papers
CRiDiT: Instantiating a run-time testbed for trust calibration in AI-infused systems
本文提出CRiDiT测试平台，通过Dempster-Shafer理论和主观逻辑等方法解决AI系统中人机信任校准问题。
0 citationsRead paper
Whitening Inverts the Hierarchy: What the Norm of a Whitened Embedding Measures
研究探讨了白化嵌入的平方范数作为无训练似然替代的问题，通过分析白化逆转编码器谱层次结构机制，指出其更适合解释为马氏距离而非对数似然。
0 citationsRead paper
Semantic Fibers and Cross-Gram Interference: A Calculus of Safety Drift in Overcomplete Representations
研究解决了跨语言模型的安全性漂移问题，通过线性代数方法精确刻画，并提出了一种校准暴露度量来区分不同类型的漂移。
0 citationsRead paper
Interpolation Is Not Invariance: Pair Count Is Not Coverage in Transformation Audits
本文解决了转换审计中配对计数过估覆盖范围的问题，通过区分四个关键量并提出精确的块-Woodbury留一轨道更新方法来提高审计准确性和部署可靠性。
0 citationsRead paper
Recent publications
Latest Papers
Polyhedral Methods for Cooperative Games: Small Lifts and Hard Faces
研究合作博弈中的算法问题，通过限制到k-加性游戏减小输入规模，并给出多项式大小线性规划解决方法及复杂度分析。
0 citationsRead paper
CRiDiT: Instantiating a run-time testbed for trust calibration in AI-infused systems
本文提出CRiDiT测试平台，通过Dempster-Shafer理论和主观逻辑等方法解决AI系统中人机信任校准问题。
0 citationsRead paper
Whitening Inverts the Hierarchy: What the Norm of a Whitened Embedding Measures
研究探讨了白化嵌入的平方范数作为无训练似然替代的问题，通过分析白化逆转编码器谱层次结构机制，指出其更适合解释为马氏距离而非对数似然。
0 citationsRead paper
Semantic Fibers and Cross-Gram Interference: A Calculus of Safety Drift in Overcomplete Representations
研究解决了跨语言模型的安全性漂移问题，通过线性代数方法精确刻画，并提出了一种校准暴露度量来区分不同类型的漂移。
0 citationsRead paper
Interpolation Is Not Invariance: Pair Count Is Not Coverage in Transformation Audits
本文解决了转换审计中配对计数过估覆盖范围的问题，通过区分四个关键量并提出精确的块-Woodbury留一轨道更新方法来提高审计准确性和部署可靠性。
0 citationsRead paper