search

hakaru-dev / hakaru

A probabilistic programming language
BSD 3-Clause "New" or "Revised" License
312 stars 30 forks source link

Documenting Hakaru workflow #92

Open GenevaS opened 7 years ago

GenevaS commented 7 years ago

We want to document (as tutorials) some of the problems that people want to solve and how they would do it using Hakaru.

zaxtax commented 7 years ago

That sounds like a good idea!

On Mon, Jun 26, 2017 at 12:22 PM, GenevaS notifications@github.com wrote:

We want to document (as tutorials) some of the problems that people want to solve and how they would do it using Hakaru.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/hakaru-dev/hakaru/issues/92, or mute the thread https://github.com/notifications/unsubscribe-auth/AAAhUZq2-z156sErao2nyIPyiuws2zi_ks5sH9qvgaJpZM4OFiry .

GenevaS commented 7 years ago

I have already created a page for the general workflow for Hakaru programming (7a849c332479e71bf6715d641ef3c7edebadeabf) and the burglary alarm example from the system description paper (6e257c8ee1b7332fd008ad8f2c72f69f27927553).

Which examples should I work on next?

ccshan commented 7 years ago

Thanks!

Regarding the burglary example, I would recommend (1) documenting the optional use of simplification (rather than sampling) after disintegration to figure an exact (rather than approximate) answer to the problem; (2) add each transformation in the documented workflow as tests.

Regarding which example next, I would recommend the second of the two examples of the system description paper, which we call "easier roadmap".

GenevaS commented 7 years ago

I've added simplification to the discrete model workflow (fc2af243d90015022ec2313e45bb869456786bb5) and I will start work on the continuous model.

GenevaS commented 7 years ago

As of 45456a14a78f87221a376ed043feec04d8dfcccc, the continuous model/easy road workflow has been documented and added to the test suite.

GenevaS commented 7 years ago

I have been reading the paper that was suggested to me for documenting GMM Gibbs, and I have a few questions:

  1. How did you want this example to look in the documentation? It is not like the burglary or thermometer examples (which were published like tutorials). This one looks more like a "Sure, you can do this in Hakaru". My only thought right now is that perhaps this could be added to the "Examples" page with a description of the program and a reference to the paper. If you would prefer a page on its own, what should be included? Regarding testing, this pipeline has already been added to haskell/Tests/RoundTrip.hs.

  2. The first example in the paper is a series of transformations on a Kalman filter. Isn't this the same as the thermometer example (hakaru/tests/RoundTrip/thermometer_workflow.hk)? If it isn't, I want to add it to haskell/Tests/RoundTrip.hs as a pipeline.

ccshan commented 6 years ago

Is this done?

JacquesCarette commented 6 years ago

I am not actually 100% sure that this is done -- Geneva was waiting for Yuriy to finish a couple of things to close this off, and he didn't finish them until some time in September.

GenevaS commented 6 years ago

No, this issue has not yet been resolved. I am reopening it, but I will not be able to work on it for a few weeks yet.