Skip to main content

Module feedback

lean_ctx::core::context_kernel

Module feedback 

Source
Expand description

Outcome feedback collection for Context Kernel learning.

Structs§

FeedbackCollector
FeedbackEntry

Functions§

record_kernel_feedback