This is your work, valued
optimization @Unipisa to make the most of my OCD. polyhmath. neuroqueer. 2e ADHDer.
WS4J. WordNet Similarity for Java provides an API for several Semantic Relatedness/Similarity algorithms
22BeerEX. Beer EXpert System is a rule-based expert system which suggests a beer to drink according to taste and meal
18OnlineRetail. Data Mining project 2020/2021 @ University of Pisa
13optiml. Optimizers for/and sklearn compatible Machine Learning models
11NeuroSAT. Neuro-symbolic approaches to the SAT problem
8PESAD. Prolog Expert System for Anxiety, Obsessive-Compulsive and Trauma-Related Disorders
7WNAffect. WordNet Affect allows to find the emotion of a given word
5SocialMediaDiscovery. Social Media Analysis for the Discovery of Interaction Patterns
2ComputationalNeuroscience. Code for Computational Neuroscience course 2020/2021 @ UniPi
2GQSAT. PyTorch implementation of "Can Q-Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver?"
2AlphaZeroSAT. TensorFlow implementation of "From Gameplay to Symbolic Reasoning: Learning SAT Solver Heuristics in the Style of Alpha(Go) Zero"
1