Skip to content
View shlomenu's full-sized avatar

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report shlomenu

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. antireduce antireduce Public

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

    OCaml 1

  2. antireduce-graphs antireduce-graphs Public

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

    OCaml 1

  3. pfga pfga Public

    Haskell

  4. raven-gen raven-gen Public

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

    Python 6 2

  5. symbolically_synthesized_networks symbolically_synthesized_networks Public

    Learning to structure intermediate neural network representations with symbolic programs

    Python 2

  6. uc_dtr uc_dtr Public

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

    Python