Mobile Imaging Solutions for Medical Diagnosis: Trends and Applications
研究利用智能手机等移动设备进行医学诊断，通过图像分析技术提供低成本健康监测解决方案，尤其适用于资源匮乏地区。
0 citationsRead paper
Selected work
Representative Papers
Attributable Post-Rationalization in RAG Citations: A Controlled Reproduction and an RLVR Comparison
研究解决了RAG系统中不忠实引用的问题，通过比较RLVR训练的模型与基础模型在四个数据集上的表现，发现RLVR未能改善引用的真实性。
0 citationsRead paper
CoRe-MARL: Cooperative Redistribution Under Unknown Dynamics Using Recurrent Multi-Agent Reinforcement Learning
研究使用CoRe-MARL框架，通过多智能体强化学习解决应急物资分配中的供需不平衡问题，提升服务均衡性和最差服务区域的服务水平。
0 citationsRead paper
Understanding the Usability of Cryptographic Verification Tools
研究通过调查Tamarin和ProVerif等工具的用户体验，识别了加密协议验证工具在易用性上的障碍，并提出改进设计的具体建议以提高这些工具的可访问性和可用性。
0 citationsRead paper
Quantum-Gated LiteSSD: A Parameter-Efficient Lightweight Hybrid Quantum-Classical Framework for Forward-Looking Sonar Object Detection
为解决前视声纳目标检测在嵌入式平台上的模型紧凑性问题，提出了一种参数高效的量子-经典混合框架Quantum-Gated LiteSSD，通过量子门控机制实现空间特征调制。
0 citationsRead paper
Recent publications
Latest Papers
Mobile Imaging Solutions for Medical Diagnosis: Trends and Applications
研究利用智能手机等移动设备进行医学诊断，通过图像分析技术提供低成本健康监测解决方案，尤其适用于资源匮乏地区。
0 citationsRead paper
Attributable Post-Rationalization in RAG Citations: A Controlled Reproduction and an RLVR Comparison
研究解决了RAG系统中不忠实引用的问题，通过比较RLVR训练的模型与基础模型在四个数据集上的表现，发现RLVR未能改善引用的真实性。
0 citationsRead paper
CoRe-MARL: Cooperative Redistribution Under Unknown Dynamics Using Recurrent Multi-Agent Reinforcement Learning
研究使用CoRe-MARL框架，通过多智能体强化学习解决应急物资分配中的供需不平衡问题，提升服务均衡性和最差服务区域的服务水平。
0 citationsRead paper
Understanding the Usability of Cryptographic Verification Tools
研究通过调查Tamarin和ProVerif等工具的用户体验，识别了加密协议验证工具在易用性上的障碍，并提出改进设计的具体建议以提高这些工具的可访问性和可用性。
0 citationsRead paper
Quantum-Gated LiteSSD: A Parameter-Efficient Lightweight Hybrid Quantum-Classical Framework for Forward-Looking Sonar Object Detection
为解决前视声纳目标检测在嵌入式平台上的模型紧凑性问题，提出了一种参数高效的量子-经典混合框架Quantum-Gated LiteSSD，通过量子门控机制实现空间特征调制。
0 citationsRead paper