close
Skip to content
View giopaglia's full-sized avatar
🔆
🔆
32 followers · 74 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@aclai-lab

Block or report giopaglia

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
giopaglia/README.md

    👋
I'm Gio (/d͡ʒo/), a computer scientist based in Ferrara, Italy.

💫 About Me

🤔 Interested in AI, computation theory, open source;
📚 Studied computer science and machine learning in 🇮🇹, 🇸🇪, 🇸🇬 & 🇦🇺;
🌱 Working on symbolic AI at PlantingSpace;
🔭 Occasionally contributing to the Sole.jl AI framework in Julia;
⚡ Checkout my website, my LinkedIn or my CV.

💻 Things I work with

Julia Image Python Image Jupyter Image LaTeX Image Bash Image Git Image Linux OS. Image Visual Studio Code Image Sublime Text. Image Tmux. Image Alacritty. Image Sublime Text. Image Ollama: local language models.

scikit-learn PyTorch Plotly Keras SciPy Pandas

🚀 Projects

🛠️ Utilities
┣━━ bitsofus                     - Takeout data enhancer utilities
┣━━ rooflini                     - Python plot roofline analyses 
┗━━ academic-grandfolks          - Trace one's academic genealogy

☀️ Sole.jl
┣━━ 📦 Julia Packages
┃   ┣━━ Sole.jl                  - framework for symbolic modeling and learning
┃   ┣━━ SoleLogics.jl            - model checking engine
┃   ┣━━ SoleModels.jl            - analysis and rule extraction from symbolic models
┃   ┣━━ SoleData.jl              - optimized data structures for learning symbolic models
┃   ┗━━ ModalDecisionTrees.jl    - CART-like learning of trees and forests based on modal logic
┗━━ 🎙️ Talks
    ┣━━ Symbolic AI workflows with Sole.jl (JuliaCon2024)
    ┣━━ Third Millennium Symbolic Learning with Sole.jl (JuliaCon2023)
    ┗━━ Decision Trees, Meet Modal Logics (JuliaCon2022)

Pinned Loading

  1. aclai-lab/Sole.jl aclai-lab/Sole.jl Public

    Sole.jl – Long live transparent modeling!

    Julia 48 1

  2. aclai-lab/SoleLogics.jl aclai-lab/SoleLogics.jl Public

    Computational logic in Julia!

    Julia 19 7

  3. aclai-lab/SoleModels.jl aclai-lab/SoleModels.jl Public

    Symbolic modeling in Julia!

    Julia 12 1

  4. aclai-lab/SoleData.jl aclai-lab/SoleData.jl Public

    Manage logical datasets!

    Julia 13 3

  5. aclai-lab/ModalDecisionTrees.jl aclai-lab/ModalDecisionTrees.jl Public

    Julia implementation of Modal Decision Trees & Forests, for interpretable classification of spatial and temporal data. Long live Symbolic Learning!!

    Julia 12 3

  6. rooflini rooflini Public

    A Python script for plotting roofline analyses. Intel Advisor style.

    Python 17 4