Pinned Loading

1. Isla-lab/CityLearnRL-Bioinformatica Isla-lab/CityLearnRL-Bioinformatica Public

   Jupyter Notebook 1 1

2. ai-msc ai-msc Public

   only for MVPs

   Jupyter Notebook 8

3. equality-lists-arrays-solver equality-lists-arrays-solver Public archive

   Production-ready decision procedure solver implementing congruence closure for satisfiability checking in the union of first-order theories (Equality, Lists, Arrays). Based on Bradley & Manna algor…

   Java

4. ml-nutriscore-prediction ml-nutriscore-prediction Public archive

   Multi-class classification of food product Nutri-Scores using classical ML algorithms (Logistic Regression, KNN, SVM, Random Forest, XGBoost)

   Python 1

5. nlp-llm-project nlp-llm-project Public archive

   Email Routing with LLMs — Zero-shot prompting, LoRA fine-tuning, and DistilBERT classification for customer support ticket routing. NLP 2025-26, University of Verona.

   Jupyter Notebook 1 1