Johansson, Moa

3 publications

ICMLW 2024 Learning Efficient Recursive Numeral Systems via Reinforcement Learning Jonathan David Thomas, Andrea Silvi, Devdatt Dubhashi, Emil Carlsson, Moa Johansson

NeurIPSW 2024 PACE: Procedural Abstractions for Communicating Efficiently Jonathan David Thomas, Andrea Silvi, Devdatt Dubhashi, Vikas Garg, Moa Johansson

ICMLW 2024 Specify What? a Case-Study Using GPT-4 and Formal Methods for Specification Synthesis George Granberry, Wolfgang Ahrendt, Moa Johansson