Engineering Reliable Commit Gates for Agentic AI: Cost-Aware Verification Portfolios under Common-Mode Data Failures
研究提出VP-CONTROL方法，通过成本敏感的验证组合解决AI代理系统中因数据故障导致的不安全提交问题。
0 citationsRead paper
Selected work
Representative Papers
Stability of Fork-Join Systems with Redundancy and Heterogeneous Servers
本文解决了带有冗余和异构服务器的分叉-合并系统稳定性问题，通过静态与动态容量分配策略，并确定了达到最大稳定区域的条件。
0 citationsRead paper
VERGE: Verification-Enhanced Refinement for Grounded Extraction of Early-Onset Colorectal Cancer Symptoms in Clinical Notes
为提高早发性结直肠癌症状识别，研究开发了VERGE系统，通过检索增强生成和验证循环从临床笔记中自动提取症状及家族史信息，减少误报并提升准确性。
0 citationsRead paper
Toward Workflow-Aware Benchmarking for Healthcare NLP Agents
本文针对医疗NLP代理在动态工作流环境下的评估不足问题，提出了一种新的分阶段评估协议，涵盖文档更新、证据检索、患者消息传递和分流交接四个任务模板。
0 citationsRead paper
A Version Space Approach for Digital Circuit Analysis
本文通过版本空间方法解决数字电路分析中的两个问题：概率组合等效检查和逻辑锁定网表的密钥计数。
0 citationsRead paper
Recent publications
Latest Papers
Engineering Reliable Commit Gates for Agentic AI: Cost-Aware Verification Portfolios under Common-Mode Data Failures
研究提出VP-CONTROL方法，通过成本敏感的验证组合解决AI代理系统中因数据故障导致的不安全提交问题。
0 citationsRead paper
Stability of Fork-Join Systems with Redundancy and Heterogeneous Servers
本文解决了带有冗余和异构服务器的分叉-合并系统稳定性问题，通过静态与动态容量分配策略，并确定了达到最大稳定区域的条件。
0 citationsRead paper
VERGE: Verification-Enhanced Refinement for Grounded Extraction of Early-Onset Colorectal Cancer Symptoms in Clinical Notes
为提高早发性结直肠癌症状识别，研究开发了VERGE系统，通过检索增强生成和验证循环从临床笔记中自动提取症状及家族史信息，减少误报并提升准确性。
0 citationsRead paper
Toward Workflow-Aware Benchmarking for Healthcare NLP Agents
本文针对医疗NLP代理在动态工作流环境下的评估不足问题，提出了一种新的分阶段评估协议，涵盖文档更新、证据检索、患者消息传递和分流交接四个任务模板。
0 citationsRead paper
A Version Space Approach for Digital Circuit Analysis
本文通过版本空间方法解决数字电路分析中的两个问题：概率组合等效检查和逻辑锁定网表的密钥计数。
0 citationsRead paper