SATNet是一种可微分最大可满足性(MAXSAT)求解器,可以集成到更大的深度学习系统的循环中

SATNet是一种可微分(平滑)最大可满足性(MAXSAT)求解器,可以集成到更大的深度学习系统的循环中

相关的项目 - 更多比较

352 9.8k 4.6k

Z 在视觉,文本,强化学习等方面围绕pytorch实现的一套例子
 
10.0 4.8
  4天前
381 9.1k 2.3k

P Tool for producing high quality forecasts for time series data that has multiple seasonality with linear or non-linear growth.
 
10.0 3.0
  26天前