Pinned Repositories
ahrefs_take_home_1
antireduce
A library for domain-generic distributional program search and library learning
antireduce-graphs
Specializes the distributional search functionality of the antireduce library for a domain of graph-constructing programs
GoTHW
GoTHW
grade-school-math
pfga
raven-gen
A tool for programmatic and customizable generation of variable-resolution visual puzzles testing abstract visual reasoning
symbolically_synthesized_networks
Learning to structure intermediate neural network representations with symbolic programs
uc_dtr
A Python implementation of the UC-DTR algorithm of Zhang and Bareinboim
shlomenu's Repositories
shlomenu/raven-gen
A tool for programmatic and customizable generation of variable-resolution visual puzzles testing abstract visual reasoning
shlomenu/symbolically_synthesized_networks
Learning to structure intermediate neural network representations with symbolic programs
shlomenu/antireduce
A library for domain-generic distributional program search and library learning
shlomenu/antireduce-graphs
Specializes the distributional search functionality of the antireduce library for a domain of graph-constructing programs
shlomenu/ahrefs_take_home_1
shlomenu/GoTHW
GoTHW
shlomenu/grade-school-math
shlomenu/pfga
shlomenu/uc_dtr
A Python implementation of the UC-DTR algorithm of Zhang and Bareinboim
shlomenu/quickdraw-dataset
Documentation on how to access and use the Quick, Draw! Dataset.