Skip to content

feat(MachineLearning/PACLearning): add version space lattice#730

Open
Zetetic-Dhruv wants to merge 1 commit into
leanprover:mainfrom
Zetetic-Dhruv:version-space-lattice
Open

feat(MachineLearning/PACLearning): add version space lattice#730
Zetetic-Dhruv wants to merge 1 commit into
leanprover:mainfrom
Zetetic-Dhruv:version-space-lattice

Conversation

@Zetetic-Dhruv

Copy link
Copy Markdown
Contributor

Follow up to my version space PR. Adds Mitchell (1982) VS lattice and describes it's properties.

@Zetetic-Dhruv

Copy link
Copy Markdown
Contributor Author

@chenson2018 and @SamuelSchlesinger let me know your thoughts. If you think it's fine, let's add this and build out the learning theory block faster. I have been meaning to get more done in this direction but got stuck formalizing the Angulin/Gold mind-change theorems, which was a big rabbit hole (though there's some decent progress there too).

Version space lattices are kind of useful for some characterizations like ordering version spaces for model retrieval.

@SamuelSchlesinger

Copy link
Copy Markdown
Collaborator

@fmontesi this LGTM if you want to merge it.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants