36 citations · 83 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AI2023★ 6 cited
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.LG2023★ 35 cited
Principled Weight Initialization for Hypernetworks
Oscar Chang, Lampros Flokas, Hod Lipson
Hypernetworks are meta neural networks that generate weights for a main neural network in an end-to-end differentiable manner. Despite extensive applications ranging from multi-tas…