Skip to content

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

lmlexplore-automation[bot] merged 4 commits into
LeanMachineLearning:mainfrom
prevostad:roadmap/transductive-task-worker1

doc: state the generalised signature in the baiTask docstring

6a7acb6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view