Bookmarks (101)

  • screenshot

    STELLA: report from the SNAFU-catchers workshop on coping with complexity

    STELLA: report from the SNAFU-catchers workshop on coping with complexity, Woods 2017, Coping with Complexity workshop...

  • screenshot

    Synthesizing data structure transformations from input-output examples

    Synthesizing data structure transformations from input-output examples, Feser et al., PLDI’15 The Programmatically Interpretable Reinforcement Learning...

  • screenshot

    Programmatically interpretable reinforcement learning

    Programmatically interpretable reinforcement learning, Verma et al., ICML 2018 Being able to trust (interpret, verify) a...