shoham-elad

Pinned Repositories

• sat

  Learning local search heuristics for Boolean satisfiability

  Language:Python373410

• GNN-sharpSAT

  Code for the paper 'Graph Neural Networks for Propositional Model Counting', Gaia Saveri, Luca Bortolussi (2022)

  Language:Python22

• docker-minecraft-server

  Docker image that provides a Minecraft Server that will automatically download selected version at startup

  Language:Shell9.5k671.6k1.5k

• ELIM_FER

  [NeurIPS 2022] The official repository of Expression Learning with Identity Matching for Facial Expression Recognition

  Language:Python36164

• NeuroSAT

  PyTorch implementation of NeuroSAT

  Language:Python26388

• NeuroSAT-1

  PyTorch implementation of NeuroSAT

  Language:Python00

• OneStopEnglishCorpus

  00

• sentiment-analysis-proj

  NLP project

  Language:Python00

• quickstart

  Quickstart guides for fast integration with Superwise platform

  Language:Jupyter Notebook12103

shoham-elad's Repositories