tensor-theorem-prover

First-order logic theorem prover supporting unification with approximate vector similarity

MIT License

Downloads
1.3K
Stars
7
Committers
2
View Code on GitHub Visit Website
Ecosystems: Rust

Bot releases are visible (Hide)

tensor-theorem-prover - v0.6.2

Published by github-actions[bot] almost 2 years ago

Fix

  • Exporting types for SimilarityFunc (6432960)
tensor-theorem-prover - v0.6.1

Published by github-actions[bot] almost 2 years ago

Fix

  • Exporting types for Proof and ProofStep (c909c6f)
tensor-theorem-prover - v0.6.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Allow providing extra knowledge when proving (f1e53c8)
tensor-theorem-prover - v0.5.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Adding ResolutionProver.extend_knowledge method to add knowledge to the prover later (d21dd91)
tensor-theorem-prover - v0.4.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Adding similarity cache to speed up similarity calculations (5bd8c13)
tensor-theorem-prover - v0.3.0

Published by github-actions[bot] almost 2 years ago

Feature

  • Adding a 'max_similarity' helper to combine different similarity funcs (b92c35a)
tensor-theorem-prover - v0.2.3

Published by github-actions[bot] almost 2 years ago

Fix

  • Fixing bug when predicates with the same symbol occur in resolve with embeddings (17c138c)
tensor-theorem-prover - v0.2.2

Published by github-actions[bot] almost 2 years ago

Fix

tensor-theorem-prover - v0.2.1

Published by github-actions[bot] almost 2 years ago

Fix

  • Adding typing_extensions dep explicitly (58e8340)
tensor-theorem-prover - v0.2.0

Published by github-actions[bot] almost 2 years ago

Feature

Package Rankings
Top 19.86% on Pypi.org
Badges
Extracted from project README
ci Codecov PyPI Documentation Status