本研究提出了CodePDE框架,将偏微分方程的求解视为代码生成任务,利用先进的推理算法生成高性能求解器,展现出准确性和效率的优势,为未来的求解器设计提供了新的视角。
本研究提出了一种简单的调度方法,通过迭代选择在未解决问题上表现最佳的算法,优化数值黑箱问题的求解器调度,成为动态算法选择模型的基准。
本研究提出了一种新的、更紧的上界价值界限,以提高部分可观察马尔可夫决策过程(POMDPs)求解器的性能。尽管计算成本较高,但实证评估表明这些新界限在多种基准测试中加速了求解过程。
本研究提出了ρPOMCPOW,一个动态精炼信念表征的任意求解器,旨在解决现有在线ρPOMDP求解器在连续空间中的适应性和精炼性问题。实验结果表明,ρPOMCPOW在效率和解决方案质量上优于现有方法。
该研究提出了一种迭代的图神经网络框架,解决了现有方法在凸优化中的可行性保证问题。实验结果显示,该方法在解的质量和可行性上优于现有神经基线,并在某些情况下速度超过了最先进的求解器。
达摩院自研的“敏迭”求解器在能源电子产业创新大赛中获冠,展现出高效求解能力,支持电力调度等关键领域,利用AI技术提升性能,助力能源绿色转型,未来将拓展至智慧物流和新能源等领域。
本研究探讨了单眼深度估计模型在相对姿态估计中的应用不足,提出三种求解器,结合经典方法显著提升了深度估计效果。实验结果表明,该方法在不同条件下优于传统解决方案。
本研究引入图神经网络(GNN)架构,预测现代混合整数线性规划(MILP)求解器的最优目标值或当前解的最优性。实验结果表明,该方法准确率高,超越现有技术,为机器学习在MILP求解器中的应用开辟了新方向。
本研究提出了一种新型生成与测试框架,显著提高了逻辑程序求解器的效率,测试候选方案数量减少,求解器性能提升约3.3倍,解决了91%的更多实例。
本研究开发了ImDy数据基准,提供150小时运动数据,并训练出高效的逆向动力学求解器ImDyS,展示其在运动分析中的优越性能。
本文介绍了一种优化线性模型对抗训练的新算法,解决了大规模训练时的低效问题。通过专用求解器,提高了回归和分类问题的训练速度和效率,增强了线性模型在对抗环境下的表现。
本文介绍了量子计算导向的组合优化基准测试QOPTLib,包含40个实例,涵盖旅行商问题、车辆路径问题、一维装箱问题和最大割问题。使用两种基于量子退火的求解器对QOPTLib进行了首次完整求解,旨在激励其他研究者用新提出的基于量子的算法超越这些结果。
为了提高神经车辆路径问题(VRP)求解器的可行性,设计了一个辅助策略,通过学习本地可转移的拓扑特征来改善神经 VRP 求解器的表现。实验证明,这个集成策略在基准测试中表现出更好的泛化性能,并且在真实世界问题上也能工作得很好。
Pipelight项目发布了v0.6.14版本,增加了文件修改时触发管道、28个可用的git hook触发管道等功能。egui_dnd发布了0.5.0版本,支持动画和触摸。Kani发布了0.34.0版本,通过更改默认求解器为CaDiCaL来提高性能。
完成下面两步后,将自动完成登录并继续当前操作。