๐ค Interested in AI, machine learning, computation theory, open source;
๐ Studied Computer Science in ๐ฎ๐น, ๐ธ๐ช, ๐ธ๐ฌ & ๐ฆ๐บ;
๐ฑ Just joined Planting Space on a venture towards symbolic AI;
๐ญ Occasionally contributing to the Sole.jl AI framework in Julia;
โก Checkout my website, my
LinkedIn or my CV.
๐ฆ 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)