Geek Repo
followers
following
stars
Company:SJTU
Location:Shanghai, China
Github PK Tool:Github PK Tool
Source code for OpenAPI
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.