Open Issues Need Help
View All on GitHub refactor: axiom_meta! macro — use typed entities, stop inlining compile-time string literals 4 months ago
help wanted
i-am-logger/pr4xis i-am-logger/pr4xis Axiomatic intelligence. Doing the right thing, provably.
Open project →
14
Axiomatic intelligence. Doing the right thing, provably.
Rust
#applied-category-theory#artificial-intelligence#automated-reasoning#category-theory#deterministic-ai#explainable-ai#formal-methods#knowledge-graph#knowledge-representation#neuro-symbolic-ai#neurosymbolic#neurosymbolic-ai#ontology#rust#semantic-web#symbolic-ai#theorem-proving#wasm#webassembly#wordnet
cleanup: extract `module_path` from `RelationshipMeta` — Rust-specific, doesn't belong in Lemon shape 4 months ago
help wanted
i-am-logger/pr4xis i-am-logger/pr4xis Axiomatic intelligence. Doing the right thing, provably.
Open project →
14
Axiomatic intelligence. Doing the right thing, provably.
Rust
#applied-category-theory#artificial-intelligence#automated-reasoning#category-theory#deterministic-ai#explainable-ai#formal-methods#knowledge-graph#knowledge-representation#neuro-symbolic-ai#neurosymbolic#neurosymbolic-ai#ontology#rust#semantic-web#symbolic-ai#theorem-proving#wasm#webassembly#wordnet
refactor: convert all existing tests to ontological assertions (Axiom.holds() wrappers) 4 months ago
good first issue
i-am-logger/pr4xis i-am-logger/pr4xis Axiomatic intelligence. Doing the right thing, provably.
Open project →
14
Axiomatic intelligence. Doing the right thing, provably.
Rust
#applied-category-theory#artificial-intelligence#automated-reasoning#category-theory#deterministic-ai#explainable-ai#formal-methods#knowledge-graph#knowledge-representation#neuro-symbolic-ai#neurosymbolic#neurosymbolic-ai#ontology#rust#semantic-web#symbolic-ai#theorem-proving#wasm#webassembly#wordnet