Stochastic consensus dynamics for decentralized decision systems
研究使用随机共识模型探讨去中心化决策系统中的共识形成问题，分析了初始条件、网络连接性和系统规模如何影响一致意见的产生。
0 citationsRead paper
Selected work
Representative Papers
A Theory of a Two-Dimensional Typed Lambda Calculus
本文提出了一种二维类型λ演算，通过计算路径序列证明项间等价，区别于Martin-Löf类型论，实现了真正内省的系统。
0 citationsRead paper
Fourier Analysis of Parametrized Interactive Quantum Classifiers
本文通过推导参数化交互式量子分类器的闭式解，揭示了哈密顿参数对分类器输出的影响，并提出了一种新的哈密顿编码方法来改进非线性数据集上的分类性能。
0 citationsRead paper
Minimum blockers for nonnested perfect matchings
研究了有序图中非嵌套完美匹配的最小阻塞集问题，通过辅助区间割的最小生成树方法，给出了确定性算法及构造。
0 citationsRead paper
Integrating Crash Report Mining and LLMs for Bug Localization and Repair: An Industrial Report
研究通过结合崩溃报告挖掘技术和大型语言模型来解决工业软件系统中崩溃报告的定位和修复问题，实验显示最佳配置能有效定位71%并修复52%的问题。
0 citationsRead paper
Recent publications
Latest Papers
Stochastic consensus dynamics for decentralized decision systems
研究使用随机共识模型探讨去中心化决策系统中的共识形成问题，分析了初始条件、网络连接性和系统规模如何影响一致意见的产生。
0 citationsRead paper
A Theory of a Two-Dimensional Typed Lambda Calculus
本文提出了一种二维类型λ演算，通过计算路径序列证明项间等价，区别于Martin-Löf类型论，实现了真正内省的系统。
0 citationsRead paper
Fourier Analysis of Parametrized Interactive Quantum Classifiers
本文通过推导参数化交互式量子分类器的闭式解，揭示了哈密顿参数对分类器输出的影响，并提出了一种新的哈密顿编码方法来改进非线性数据集上的分类性能。
0 citationsRead paper
Minimum blockers for nonnested perfect matchings
研究了有序图中非嵌套完美匹配的最小阻塞集问题，通过辅助区间割的最小生成树方法，给出了确定性算法及构造。
0 citationsRead paper
Integrating Crash Report Mining and LLMs for Bug Localization and Repair: An Industrial Report
研究通过结合崩溃报告挖掘技术和大型语言模型来解决工业软件系统中崩溃报告的定位和修复问题，实验显示最佳配置能有效定位71%并修复52%的问题。
0 citationsRead paper