Pinned Repositories
AlphaZeroSAT
TensorFlow implementation of "From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero"
BeerEX
Beer EXpert System is a rule-based expert system which suggests a beer to drink according to taste and meal
GQSAT
PyTorch implementation of "Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?"
NeuroSAT
Neuro-symbolic approaches to the SAT problem
OnlineRetail
Data Mining project 2020/2021 @ University of Pisa
optiml
Optimizers for/and sklearn compatible Machine Learning models
PESAD
Prolog Expert System on Anxiety Disorders
SocialMediaDiscovery
Social Media Analysis for the Discovery of Interaction Patterns
WNAffect
WordNet Affect allows to find the emotion of a given word
WS4J
WordNet Similarity for Java provides an API for several Semantic Relatedness/Similarity algorithms
dmeoli's Repositories
dmeoli/WS4J
WordNet Similarity for Java provides an API for several Semantic Relatedness/Similarity algorithms
dmeoli/BeerEX
Beer EXpert System is a rule-based expert system which suggests a beer to drink according to taste and meal
dmeoli/OnlineRetail
Data Mining project 2020/2021 @ University of Pisa
dmeoli/optiml
Optimizers for/and sklearn compatible Machine Learning models
dmeoli/NeuroSAT
Neuro-symbolic approaches to the SAT problem
dmeoli/PESAD
Prolog Expert System on Anxiety Disorders
dmeoli/WNAffect
WordNet Affect allows to find the emotion of a given word
dmeoli/GQSAT
PyTorch implementation of "Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?"
dmeoli/SocialMediaDiscovery
Social Media Analysis for the Discovery of Interaction Patterns
dmeoli/AlphaZeroSAT
TensorFlow implementation of "From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero"
dmeoli/ComputationalNeuroscience
Code for Computational Neuroscience course 2020/2021 @ UniPi
dmeoli/aima-data
Data files to accompany the algorithms from Norvig And Russell's "Artificial Intelligence - A Modern Approach"
dmeoli/aima-python
Python implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
dmeoli/AlphaGoZeroSAT
dmeoli/CranSearchEngine
Search Engine for the Cranfield Collection
dmeoli/CV
My personal Curriculum Vitae
dmeoli/MCTSminisat
minisat adapted for MCTS
dmeoli/minisat
minisat adapted for DQN with GNN
dmeoli/SicilianNMT
NMT for the Sicilian language