{"action":"opened","issue":{"url":"https://api.github.com/repos/ai-se/amesModels/issues/3","labels_url":"https://api.github.com/repos/ai-se/amesModels/issues/3/labels{/name}","comments_url":"https://api.github.com/repos/ai-se/amesModels/issues/3/comments","events_url":"https://api.github.com/repos/ai-se/amesModels/issues/3/events","html_url":"https://github.com/ai-se/amesModels/issues/3","id":99205841,"number":3,"title":"Note sure what this is but i feel compelled to write some notes","user":{"login":"timm","id":29195,"avatar_url":"https://avatars.githubusercontent.com/u/29195?v=3","gravatar_id":"","url":"https://api.github.com/users/timm","html_url":"https://github.com/timm","followers_url":"https://api.github.com/users/timm/followers","following_url":"https://api.github.com/users/timm/following{/other_user}","gists_url":"https://api.github.com/users/timm/gists{/gist_id}","starred_url":"https://api.github.com/users/timm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/timm/subscriptions","organizations_url":"https://api.github.com/users/timm/orgs","repos_url":"https://api.github.com/users/timm/repos","events_url":"https://api.github.com/users/timm/events{/privacy}","received_events_url":"https://api.github.com/users/timm/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":{"login":"timm","id":29195,"avatar_url":"https://avatars.githubusercontent.com/u/29195?v=3","gravatar_id":"","url":"https://api.github.com/users/timm","html_url":"https://github.com/timm","followers_url":"https://api.github.com/users/timm/followers","following_url":"https://api.github.com/users/timm/following{/other_user}","gists_url":"https://api.github.com/users/timm/gists{/gist_id}","starred_url":"https://api.github.com/users/timm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/timm/subscriptions","organizations_url":"https://api.github.com/users/timm/orgs","repos_url":"https://api.github.com/users/timm/repos","events_url":"https://api.github.com/users/timm/events{/privacy}","received_events_url":"https://api.github.com/users/timm/received_events","type":"User","site_admin":false},"milestone":null,"comments":0,"created_at":"2015-08-05T13:34:31Z","updated_at":"2015-08-05T13:34:31Z","closed_at":null,"body":"Can we trust our models? \r\n\r\nGALE bisects the solutions into progressively smaller regions using   spectral learning. Spectral learners reflect over the eigenvectors of the data (these vectors are a model of the overall direction of the data).   Hence, GALE's splits are  very informed about the overall shape of the data. \r\nGALE's recursive splitting generates a set of tiny clusters. Each cluster represents a small space on the Pareto frontier.   That is, GALE models the decision surface as a  set of very small  models and, within the restricted space of each of those models, GALE proposes a restrictive set of constraints. We will use those constraints to restrain our verification tools, as follows:\r\n\r\n1. Pre-processing (terminates when no better solutions are found)\r\n      1. Sort solutions (along the direction of most change);\r\n      2. Find the _poles_; i.e. the two most distance candidates;\r\n      3.  Split that sort into equal halves;\r\n     4. Evaluate   the _poles_ of each split;\r\n     5. Ignore any half containing a _dominated_ pole;\r\n     6. Recurse on the remaining halves until the splits get too small (less than _N<sup>0.5</sup>_\r\n     7.  For all the final (smallest) splits, mutate the candidates towards the better pole of that split. \r\n     8.  Go to step #1\r\n2. Verification:\r\n     1. For each final splits found about...\r\n     2. Extract the ranges of values seen in that split\r\n     3. Run verification tools, constrained to those ranges.\r\n\r\n@neharungta : what about some state pruning operator within SPIN that explores states in an order determined by the odds of that state falling into GALE's final splits? The algorithm is still complete (worst case, it explores all states) but has an early stopping criteria (when it starts exploring less interesting states, and has yet to find bugs, we might consider stopping).. "}}