Are we planning to submit our artifacts for evaluation?

Yes

That may require a fair amount of work. For example, things are currently spread over at least 2 repos.

Yes

@rjnw has been doing a lot of work to create the artifact already

Yes

I’m willing to serve as a guinea pig — I’ll test whatever installation, run, etc instructions and give feedback on whether they work.

I have my hands full with moving today, I will send the details soon. I will need help setting up maple to run as it wasn’t working last time I tried.

Ok @rjnw, can you meet Sam and me tomorrow after noon? (Just name a time.)

Also @rjnw, would you please double-check that what’s currently in hakaru-benchmarks under testcode/{hkrkt,hksimp,hssrc} are what is benchmarked in Section 6? If not, please commit&push (rather than overwrite) what’s benchmarked in Section 6. I can then check that hk-maple still produces them.

(I just tried checking, and found some discrepancies: testcode/hksimp/GmmGibbsSimp.hk is missing fn s prob: at the top. And testcode/{hkrkt,hksimp,hssrc}/Gmm* all seem to be missing https://github.com/hakaru-dev/hakaru/commit/ef97ca24204c3715482cdb09a1e372c373f28bc2 )

I can meet tomorrow 12pm

Great, that works for Sam and me!

By the way, the metadata and the typeset paper are inconsistent about author ordering. Now’s the last chance to fix this.