Skip to main content

Module task_relevance

lean_ctx::core

Module task_relevance 

Source

Structs§

RelevanceScore

Functions§

adaptive_ib_budget
Compute an adaptive IB budget ratio based on content characteristics. Highly repetitive content → more aggressive filtering (lower ratio). High-entropy diverse content → more conservative (higher ratio).
compute_relevance
information_bottleneck_filter
Information Bottleneck filter based on Tishby et al. (2000) and QUITO-X (EMNLP 2025).
parse_task_hints
Extract likely task-relevant file paths and keywords from a task description.