5 citations · 6 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2023
Assessing SATNet's Ability to Solve the Symbol Grounding Problem
Oscar Chang, Lampros Flokas, Hod Lipson +1
SATNet is an award-winning MAXSAT solver that can be used to infer logical rules and integrated as a differentiable layer in a deep neural network. It had been shown to solve Sudok…
cs.AI2019
Visual Hide and Seek
Boyuan Chen, Shuran Song, Hod Lipson +1
We train embodied agents to play Visual Hide and Seek where a prey must navigate in a simulated environment in order to avoid capture from a predator. We place a variety of obstacl…