Skip to content

feat(MachineLearning/PACLearning): realizable distribution family - #858

Open
LibertasSpZ wants to merge 1 commit into
leanprover:mainfrom
LibertasSpZ:feat/pac-realizable
Open

feat(MachineLearning/PACLearning): realizable distribution family#858
LibertasSpZ wants to merge 1 commit into
leanprover:mainfrom
LibertasSpZ:feat/pac-realizable

feat(MachineLearning): realizable distribution family for PAC learning

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

Annotations

1 warning
ci-checks
succeeded Sep 3, 2026 in 9m 13s