36 citations · 83 across the 8 of their papers we have counts for
9 papers
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…
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…
Beyond Categorical Label Representations for Image Classification
Boyuan Chen, Yu Li, Sunand Raghupathi +1
We find that the way we choose to represent data labels can have a profound effect on the quality of trained models. For example, training an image classifier to regress audio labe…
Titan: A Parallel Asynchronous Library for Multi-Agent and Soft-Body Robotics using NVIDIA CUDA
Jacob Austin, Rafael Corrales-Fatou, Sofia Wyetzner +1
While most robotics simulation libraries are built for low-dimensional and intrinsically serial tasks, soft-body and multi-agent robotics have created a demand for simulation envir…
Automated Weed Detection in Aerial Imagery with Context
Delia Bullock, Andrew Mangeni, Tyr Wiesner-Hanks +7
In this paper, we demonstrate the ability to discriminate between cultivated maize plant and grass or grass-like weed image segments using the context surrounding the image segment…
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…