Add TriFold semiring reasoning head#7

research-developer wants to merge 1 commit intomainresearch-developer/nsm:mainfrom

codex/implement-semiring-for-neurosymbolic-modelresearch-developer/nsm:codex/implement-semiring-for-neurosymbolic-modelCopy head branch name to clipboard