Repository navigation

feat: the transductive best-answer task and the closure of its alternatives - #364

Merged

lmlexplore-automation[bot] merged 4 commits into

LeanMachineLearning:mainfrom

prevostad:roadmap/transductive-task-worker1

Nov 15, 2026

Merged

feat: the transductive best-answer task and the closure of its alternatives#364
lmlexplore-automation[bot] merged 4 commits into
LeanMachineLearning:mainfrom
prevostad:roadmap/transductive-task-worker1

Commits on Nov 13, 2026
- feat: the transductive best-answer task and the closure of its alternatives
  
  prevostad
  and
  web-flow
  committed
  6334909
- refactor: derive the transductive task from an answer-generic baiTask
  
  prevostad
  and
  web-flow
  committed
  898f4d8
- refactor: prove openness of baiTask answer sets for any continuous mean
  
  prevostad
  and
  web-flow
  committed
  e357071
Commits on Nov 15, 2026
- doc: state the generalised signature in the baiTask docstring
  
  RemyDegenne
  and
  web-flow
  committed
  6a7acb6