How Often Does Your Program Fail?
研究提出了一种结合符号和统计方法的框架，用于估计软件在给定输入分布下的故障频率，并提供有保证的误差边界。
0 citationsRead paper
Selected work
Representative Papers
What No First Stage Can Detect: Functional-Form Contamination in Linear IV
本文指出线性IV中第一阶段诊断无法解决功能形式污染问题，提出了一种基于简化回归的定向检验方法来纠正估计量并报告污染份额。
0 citationsRead paper
Building a Cultural Perspective on Doctor-Patient Conversations
研究通过引入交互文化标记，比较真实、模拟和合成的医患对话，解决AI医疗记录中文化差异问题。
0 citationsRead paper
Evaluating Ambient Clinical Scribes in India: The Need for Multilingual Real-World Clinical Conversation Data
研究针对印度医疗环境中多语言、资源受限等问题，提出建立标准化评估基础设施以评估环境临床抄写员系统的安全性与可靠性。
0 citationsRead paper
Strategy-Proof Set-Valued Choice on Single-Dipped Domains
研究了在单峰偏好下策略证明的社会选择问题，通过响应扩展比较集合结果，提出并分析了不同规则下的选择机制。
0 citationsRead paper
Recent publications
Latest Papers
How Often Does Your Program Fail?
研究提出了一种结合符号和统计方法的框架，用于估计软件在给定输入分布下的故障频率，并提供有保证的误差边界。
0 citationsRead paper
What No First Stage Can Detect: Functional-Form Contamination in Linear IV
本文指出线性IV中第一阶段诊断无法解决功能形式污染问题，提出了一种基于简化回归的定向检验方法来纠正估计量并报告污染份额。
0 citationsRead paper
Building a Cultural Perspective on Doctor-Patient Conversations
研究通过引入交互文化标记，比较真实、模拟和合成的医患对话，解决AI医疗记录中文化差异问题。
0 citationsRead paper
Evaluating Ambient Clinical Scribes in India: The Need for Multilingual Real-World Clinical Conversation Data
研究针对印度医疗环境中多语言、资源受限等问题，提出建立标准化评估基础设施以评估环境临床抄写员系统的安全性与可靠性。
0 citationsRead paper
Strategy-Proof Set-Valued Choice on Single-Dipped Domains
研究了在单峰偏好下策略证明的社会选择问题，通过响应扩展比较集合结果，提出并分析了不同规则下的选择机制。
0 citationsRead paper