Bridging the Gap Between Plain VASS and Branching VASS
研究解决了BVASS的可达性问题，通过引入新的wqo和利用合并属性，证明了BVASS的可达集与VASS相似，从而推导出关于BVASS可达集几何结构的几个结果。
0 citationsRead paper
Selected work
Representative Papers
Ramsey Obstructions to Disambiguation
本文通过构造特定部分矩阵，解决线性分类器的消歧问题，并利用Ramsey理论证明了无论怎样消歧都会包含所有指定大小的二进制矩阵。
0 citationsRead paper
On the equivalence between generating functions computed by memory transducers and enumerating functions produced by indexed grammars
研究通过记忆转导器和索引语法生成的计数序列等价性问题，使用确定性转导器及上下文无关索引语法方法解决了该问题。
0 citationsRead paper
Playability-Aware Audio-to-Tablature Guitar Transcription via Diffusion Models
为解决吉他谱转录中音高准确性和可演奏性问题，提出Noise2Fret模型，通过扩散模型结合五种辅助损失函数来生成更符合物理约束的吉他谱。
0 citationsRead paper
Introducing the Self-Stabilizing SLEEPING Model
本文提出了自稳定SLEEPING模型，通过新的睡眠技术减少节点在收敛阶段的唤醒次数（即能耗），以解决(Δ+1)着色、最大独立集和最大匹配问题。
0 citationsRead paper
Recent publications
Latest Papers
Bridging the Gap Between Plain VASS and Branching VASS
研究解决了BVASS的可达性问题，通过引入新的wqo和利用合并属性，证明了BVASS的可达集与VASS相似，从而推导出关于BVASS可达集几何结构的几个结果。
0 citationsRead paper
Ramsey Obstructions to Disambiguation
本文通过构造特定部分矩阵，解决线性分类器的消歧问题，并利用Ramsey理论证明了无论怎样消歧都会包含所有指定大小的二进制矩阵。
0 citationsRead paper
On the equivalence between generating functions computed by memory transducers and enumerating functions produced by indexed grammars
研究通过记忆转导器和索引语法生成的计数序列等价性问题，使用确定性转导器及上下文无关索引语法方法解决了该问题。
0 citationsRead paper
Playability-Aware Audio-to-Tablature Guitar Transcription via Diffusion Models
为解决吉他谱转录中音高准确性和可演奏性问题，提出Noise2Fret模型，通过扩散模型结合五种辅助损失函数来生成更符合物理约束的吉他谱。
0 citationsRead paper
Introducing the Self-Stabilizing SLEEPING Model
本文提出了自稳定SLEEPING模型，通过新的睡眠技术减少节点在收敛阶段的唤醒次数（即能耗），以解决(Δ+1)着色、最大独立集和最大匹配问题。
0 citationsRead paper