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

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

相关的项目 - 更多比较

354 9.8k 4.6k

Z 在视觉,文本,强化学习等方面围绕pytorch实现的一套例子
 
10.0 4.7
  5天前
380 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.5
  23天前