Documenting Hakaru workflow

[GenevaS]

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

[zaxtax]

That sounds like a good idea!

…

On Mon, Jun 26, 2017 at 12:22 PM, GenevaS ***@***.***> 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 <#92>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAAhUZq2-z156sErao2nyIPyiuws2zi_ks5sH9qvgaJpZM4OFiry> .

[GenevaS]

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

Which examples should I work on next?

[ccshan]

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]

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

[GenevaS]

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

[GenevaS]

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]

Is this done?

[JacquesCarette]

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]

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.