ENTITY Kleisli category

Kleisli category

PulseAugur coverage of Kleisli category — every cluster mentioning Kleisli category across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

1

1 over 90d

TIER MIX · 90D

RECENT · PAGE 1/1 · 1 TOTAL

RESEARCH · CL_11688 · May 1 · 04:00

AI governance theory formalized with machine-checked proofs in Coq

Researchers have developed a formal system for structural governance in cognitive workflow systems, with a significant portion of the work mechanized in Coq. The system introduces a coinductive safety predicate to ensur…