Giters
shlomenu

shlomenu

Geek Repo

0

followers

0

following

2

stars

Github PK Tool:Github PK Tool

shlomenu's repositories

raven-gen

A tool for programmatic and customizable generation of variable-resolution visual puzzles testing abstract visual reasoning

Language:PythonLicense:GPL-3.0Stargazers:6Issues:1Issues:4

symbolically_synthesized_networks

Learning to structure intermediate neural network representations with symbolic programs

Language:PythonLicense:MITStargazers:2Issues:2Issues:0

antireduce

A library for domain-generic distributional program search and library learning

Language:OCamlLicense:MITStargazers:1Issues:0Issues:0

antireduce-graphs

Specializes the distributional search functionality of the antireduce library for a domain of graph-constructing programs

Language:OCamlLicense:MITStargazers:1Issues:1Issues:0

ahrefs_take_home_1

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

GoTHW

GoTHW

Language:Jupyter NotebookStargazers:0Issues:0Issues:0

grade-school-math

Language:PythonStargazers:0Issues:0Issues:0

pfga

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

uc_dtr

A Python implementation of the UC-DTR algorithm of Zhang and Bareinboim

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

quickdraw-dataset

Documentation on how to access and use the Quick, Draw! Dataset.

License:NOASSERTIONStargazers:0Issues:0Issues:0