PulseAugur
中
实时 14:09:57
实体 Quantifier-Free Floating-Point

Quantifier-Free Floating-Point

PulseAugur coverage of Quantifier-Free Floating-Point — every cluster mentioning Quantifier-Free Floating-Point across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_287022 ·

    新的GradSAT框架加速浮点可满足性求解

    研究人员开发了GradSAT，一个增强可满足性模理论（SMT）求解器的新框架，特别针对无量词浮点（QF_FP）理论。该方法使用多任务学习将每个SMT子句视为独立任务，采用动态梯度归一化（GradNorm）来平衡梯度幅度，防止困难子句阻碍整体收敛。该系统具有用于连续松弛的GPU加速PyTorch后端和用于精确赋值解析的位精确局部搜索引擎，旨在提高约束求解的鲁棒性和并行性。