Pinned Loading

1. omnidraft omnidraft Public

   Extremely fast search engine—operating mainly at the level of individual bits—to discover the optimal actions (according to supplied preferences) for the draft phase of any MOBA.

   Python 3

2. A formalised proof in Agda establish... A formalised proof in Agda establishing the consistency of DreamCoder's "inverse beta-reduction" algorithm.

   1

   ## Introduction

   2

   ### Alessandro B. Palmarini (a.b.palmarini@sms.ed.ac.uk)

   3

   4

   [DreamCoder](https://dl.acm.org/doi/10.1145/3453483.3454080) is a system for inductively

   5

   synthesising programs to solve a given task. For example, generating the program that

3. deepdraft deepdraft Public

   AI agent (based on DeepMind's AlphaGo/Zero algorithms) for drafting in MOBAs in accordance to supplied preferences.

   Python 1

4. dreamdecompiler dreamdecompiler Public

   Code for the paper 'Bayesian Program Learning by Decompiling Amortized Knowledge'.

   Python 4 2