Search Results for author: Samuel Coward

Found 6 papers, 5 papers with code

JaxUED: A simple and useable UED library in Jax

1 code implementation19 Mar 2024 Samuel Coward, Michael Beukman, Jakob Foerster

We present JaxUED, an open-source library providing minimal dependency implementations of modern Unsupervised Environment Design (UED) algorithms in Jax.

Craftax: A Lightning-Fast Benchmark for Open-Ended Reinforcement Learning

1 code implementation26 Feb 2024 Michael Matthews, Michael Beukman, Benjamin Ellis, Mikayel Samvelyan, Matthew Jackson, Samuel Coward, Jakob Foerster

Either they are too slow for meaningful research to be performed without enormous computational resources, like Crafter, NetHack and Minecraft, or they are not complex enough to pose a significant challenge, like Minigrid and Procgen.

NetHack reinforcement-learning +1

Refining Minimax Regret for Unsupervised Environment Design

1 code implementation19 Feb 2024 Michael Beukman, Samuel Coward, Michael Matthews, Mattie Fellows, Minqi Jiang, Michael Dennis, Jakob Foerster

In this work, we introduce Bayesian level-perfect MMR (BLP), a refinement of the minimax regret objective that overcomes this limitation.

SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR

no code implementations15 Aug 2023 Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane

We propose a super-optimization approach for HLS that automatically rewrites an arbitrary software program into efficient HLS code that can be used to generate an optimized hardware design.

Abstract Interpretation on E-Graphs

1 code implementation17 Mar 2022 Samuel Coward, George A. Constantinides, Theo Drane

Recent e-graph applications have typically considered concrete semantics of expressions, where the notion of equivalence stems from concrete interpretation of expressions.

Cannot find the paper you are looking for? You can Submit a new open access paper.