Skip to content
View giopaglia's full-sized avatar
๐Ÿ”†
๐Ÿ”†
29 followers · 61 following

Achievements

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

Achievements

Achievement: 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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only 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, machine learning, computation theory, open source;
๐Ÿ“š Studied Computer Science 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 love working with

Julia Python Jupyter LaTeX Bash Git Linux OS. Visual Studio Code Sublime Text. Tmux. Alacritty. Sublime Text. 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 41 1

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

    Computational logic in Julia!

    Julia 17 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 2

  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 11 2

  6. rooflini rooflini Public

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

    Python 13 4