shlomenu

Pinned Repositories

ahrefs_take_home_1
Language:OCaml0 1 00
antireduce
A library for domain-generic distributional program search and library learning
Language:OCaml10
antireduce-graphs
Specializes the distributional search functionality of the antireduce library for a domain of graph-constructing programs
Language:OCaml1 1 00
GoTHW
GoTHW
Language:Jupyter Notebook00
grade-school-math
Language:Python0 0 00
pfga
Language:Haskell00
raven-gen
A tool for programmatic and customizable generation of variable-resolution visual puzzles testing abstract visual reasoning
Language:Python6 1 42
symbolically_synthesized_networks
Learning to structure intermediate neural network representations with symbolic programs
Language:Python2 2 00
uc_dtr
A Python implementation of the UC-DTR algorithm of Zhang and Bareinboim
Language:Python0 1 00

shlomenu's Repositories

shlomenu/raven-gen
A tool for programmatic and customizable generation of variable-resolution visual puzzles testing abstract visual reasoning
Language:Python6 1 42
shlomenu/symbolically_synthesized_networks
Learning to structure intermediate neural network representations with symbolic programs
Language:Python2 2 00
shlomenu/antireduce
A library for domain-generic distributional program search and library learning
Language:OCaml10
shlomenu/antireduce-graphs
Specializes the distributional search functionality of the antireduce library for a domain of graph-constructing programs
Language:OCaml1 1 00
shlomenu/ahrefs_take_home_1
Language:OCaml0 1 00
shlomenu/GoTHW
GoTHW
Language:Jupyter Notebook00
shlomenu/grade-school-math
Language:Python0 0 00
shlomenu/pfga
Language:Haskell00
shlomenu/uc_dtr
A Python implementation of the UC-DTR algorithm of Zhang and Bareinboim
Language:Python0 1 00
shlomenu/quickdraw-dataset
Documentation on how to access and use the Quick, Draw! Dataset.