aclai-lab/SoleData.jl
Manage logical datasets!
This tool helps researchers and practitioners in symbolic AI manage and analyze logical datasets. It takes structured data like tabular datasets, time-series, or images and transforms them into 'logisets' – specialized symbolic data structures. The output is efficient verification of complex logical formulas on these datasets, showing which data instances satisfy specific logical conditions. It is ideal for those who work with symbolic machine learning and need to rigorously check many logical formulas against their data.
Use this if you need to efficiently check complex logical conditions or patterns against large symbolic datasets, especially when working with propositional or modal logics.
Not ideal if your primary need is traditional statistical analysis or numerical machine learning without a focus on logical formula interpretation.
Stars
13
Forks
2
Language
Julia
License
MIT
Category
Last pushed
Mar 09, 2026
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ml-frameworks/aclai-lab/SoleData.jl"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.
Higher-rated alternatives
CliMA/Oceananigans.jl
🌊 Julia software for fast, friendly, flexible, ocean-flavored fluid dynamics on CPUs and GPUs
JuliaLang/julia
The Julia Programming Language
WassimTenachi/PhySO
Physical Symbolic Optimization
EnzymeAD/Enzyme.jl
Julia bindings for the Enzyme automatic differentiator
astroautomata/SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia