实体
Xiaoyang Liu
Xiaoyang Liu
PulseAugur coverage of Xiaoyang Liu — every cluster mentioning Xiaoyang Liu across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
神经符号框架改进数学语句自动形式化
研究人员开发了一种名为分解、结构化和修复（DSR）的新型神经符号框架，以改进自动形式化过程，该过程将自然语言数学语句转换为形式化代码。与先前将形式化代码视为扁平序列的方法不同，DSR将语句分解为逻辑组件，并将它们映射到结构化算子树。这种方法通过子树细化实现了更精确的错误定位和修复。该框架在一个名为PRIME的新基准上进行了评估，该基准包含156个定理，并展示了最先进的性能。
-
FideDiff model offers efficient, high-fidelity image deblurring using diffusion
Researchers have developed FideDiff, a novel single-step diffusion model designed for high-fidelity image motion deblurring. This model reformulates deblurring as a diffusion-like process, where a consistency model alig…