3 projects
holant-tools
Decision procedures for matchgate-Holant tractability: polynomial-time SRP solver, Galluccio-Loebl Holant evaluator, hardness-candidate screening, and a tropical-Holant kernel with polynomial-time optimisation (Hungarian for bipartite, Edmonds blossom for general).
petra-nn
Petri-Net Trained Architecture — formally-verified learnable process intelligence
timeseries-formula-finder
Symbolic Form Discovery - Find interpretable mathematical formulas in data
