[ xflash96 ] 共有 1 个PyPI Python项目:
satnet
利用可微可满足性求解器实现深度学习与逻辑推理的衔接 项目维护者: xflash96 |
sdp-mrf
基于SDP的马尔可夫随机场(MRF)推理 项目维护者: xflash96 |
sdp-clustering
基于sdp的最大模块化聚类 项目维护者: xflash96 |
利用可微可满足性求解器实现深度学习与逻辑推理的衔接 项目维护者: xflash96 |
基于SDP的马尔可夫随机场(MRF)推理 项目维护者: xflash96 |
基于sdp的最大模块化聚类 项目维护者: xflash96 |