Samuel Coward

40 papers A* 4A 1B 2C 4Misc 1Journal 25Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
DéjàQ: Open-Ended Evolution of Diverse, Learnable and Verifiable Problems.
CoRR
Willem Röpke, Samuel Coward, Andrei Lupu, Thomas Foster, Tim Rocktäschel, Jakob N. Foerster
2026 J jnl
E-Graphs as a Persistent Compiler Abstraction.
CoRR
Jules Merckx, Alexandre Lopoukhine, Samuel Coward, Jianyi Cheng, Bjorn De Sutter, Tobias Grosser
2025 A* conf
BALROG: Benchmarking Agentic LLM and VLM Reasoning On Games.
ICLR
Davide Paglieri, Bartlomiej Cupial, Samuel Coward, Ulyana Piterbarg, Maciej Wolczyk, Akbir Khan, Eduardo Pignatelli, Lukasz Kucinski, Lerrel Pinto, Rob Fergus, Jakob Nicolaus Foerster, Jack Parker-Holder, Tim Rocktäschel
2025 J jnl
Constraint-Aware E-Graph Rewriting for Hardware Performance Optimization.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Samuel Coward, Theo Drane, George A. Constantinides
2025 A conf
ReducedLUT: Table Decomposition with "Don't Care" Conditions.
FPGA
Oliver Cassidy, Marta Andronic, Samuel Coward, George A. Constantinides
2025 J jnl
eqsat: An Equality Saturation Dialect for Non-destructive Rewriting.
CoRR
Jules Merckx, Alexandre Lopoukhine, Samuel Coward, Jianyi Cheng, Bjorn De Sutter, Tobias Grosser
2024 J jnl
Assessing the Zero-Shot Capabilities of LLMs for Action Evaluation in RL.
CoRR
Eduardo Pignatelli, Johan Ferret, Tim Rocktäschel, Edward Grefenstette, Davide Paglieri, Samuel Coward, Laura Toni
2024 J jnl
BALROG: Benchmarking Agentic LLM and VLM Reasoning On Games.
CoRR
Davide Paglieri, Bartlomiej Cupial, Samuel Coward, Ulyana Piterbarg, Maciej Wolczyk, Akbir Khan, Eduardo Pignatelli, Lukasz Kucinski, Lerrel Pinto, Rob Fergus, Jakob Nicolaus Foerster, Jack Parker-Holder, Tim Rocktäschel
2024 C conf
Combining Power and Arithmetic Optimization via Datapath Rewriting.
ARITH
Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides
2024 J jnl
Combining Power and Arithmetic Optimization via Datapath Rewriting.
CoRR
Samuel Coward, Theo Drane, Emiliano Morini, George A. Constantinides
2024 A* conf
Craftax: A Lightning-Fast Benchmark for Open-Ended Reinforcement Learning.
ICML
Michael T. Matthews, Michael Beukman, Benjamin Ellis, Mikayel Samvelyan, Matthew Thomas Jackson, Samuel Coward, Jakob Nicolaus Foerster
2024 J jnl
Craftax: A Lightning-Fast Benchmark for Open-Ended Reinforcement Learning.
CoRR
Michael T. Matthews, Michael Beukman, Benjamin Ellis, Mikayel Samvelyan, Matthew Thomas Jackson, Samuel Coward, Jakob N. Foerster
2024 J jnl
JaxUED: A simple and useable UED library in Jax.
CoRR
Samuel Coward, Michael Beukman, Jakob N. Foerster
2024 C conf
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers.
ARITH
Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd
2024 J jnl
On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth Multipliers.
CoRR
Theo Drane, Samuel Coward, Mertcan Temel, Joe Leslie-Hurd
2024 J jnl
ROVER: RTL Optimization via Verified E-Graph Rewriting.
CoRR
Samuel Coward, Theo Drane, George A. Constantinides
2024 J jnl
ROVER: RTL Optimization via Verified E-Graph Rewriting.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Samuel Coward, Theo Drane, George A. Constantinides
2024 J jnl
ReducedLUT: Table Decomposition with "Don't Care" Conditions.
CoRR
Oliver Cassidy, Marta Andronic, Samuel Coward, George A. Constantinides
2024 A* conf
Refining Minimax Regret for Unsupervised Environment Design.
ICML
Michael Beukman, Samuel Coward, Michael T. Matthews, Mattie Fellows, Minqi Jiang, Michael D. Dennis, Jakob Nicolaus Foerster
2024 J jnl
Refining Minimax Regret for Unsupervised Environment Design.
CoRR
Michael Beukman, Samuel Coward, Michael T. Matthews, Mattie Fellows, Minqi Jiang, Michael Dennis, Jakob N. Foerster
2024 — conf
SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting.
ASPLOS (2)
Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane
2023 — conf
Automatic Generation of Complete Polynomial Interpolation Design Space for Hardware Architectures.
ASP-DAC
Bryce Orloski, Samuel Coward, Theo Drane
2023 A* conf
Automating Constraint-Aware Datapath Optimization using E-Graphs.
DAC
Samuel Coward, George A. Constantinides, Theo Drane
2023 J jnl
Automating Constraint-Aware Datapath Optimization using E-Graphs.
CoRR
Samuel Coward, George A. Constantinides, Theo Drane
2023 — conf
Combining E-Graphs with Abstract Interpretation.
SOAP@PLDI
Samuel Coward, George A. Constantinides, Theo Drane
2023 B conf
Datapath Verification via Word-Level E-Graph Rewriting.
FMCAD
Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides
2023 J jnl
Datapath Verification via Word-Level E-Graph Rewriting.
CoRR
Samuel Coward, Emiliano Morini, Bryan Tan, Theo Drane, George A. Constantinides
2023 Misc conf
Multiplier Optimization via E-Graph Rewriting.
ACSSC
Andy Wanna, Samuel Coward, Theo Drane, George A. Constantinides, Milos D. Ercegovac
2023 J jnl
Multiplier Optimization via E-Graph Rewriting.
CoRR
Andy Wanna, Samuel Coward, Theo Drane, George A. Constantinides, Milos D. Ercegovac
2023 J jnl
SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR.
CoRR
Jianyi Cheng, Samuel Coward, Lorenzo Chelini, Rafael Barbalho, Theo Drane
2022 J jnl
Abstract Interpretation on E-Graphs.
CoRR
Samuel Coward, George A. Constantinides, Theo Drane
2022 C conf
Automatic Datapath Optimization using E-Graphs.
ARITH
Samuel Coward, George A. Constantinides, Theo Drane
2022 J jnl
Automatic Datapath Optimization using E-Graphs.
CoRR
Samuel Coward, George A. Constantinides, Theo Drane
2022 J jnl
Automatic Generation of Complete Polynomial Interpolation Hardware Design Space.
CoRR
Bryce Orloski, Samuel Coward, Theo Drane
2022 J jnl
Combining E-Graphs with Abstract Interpretation.
CoRR
Samuel Coward, George A. Constantinides, Theo Drane
2022 J jnl
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover.
Formal Aspects Comput.
Samuel Coward, Lawrence C. Paulson, Theo Drane, Emiliano Morini
2022 B conf
Small Proofs from Congruence Closure.
FMCAD
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
2022 J jnl
Small Proofs from Congruence Closure.
CoRR
Oliver Flatt, Samuel Coward, Max Willsey, Zachary Tatlock, Pavel Panchekha
2020 J jnl
Attention-Based Clustering: Learning a Kernel from Context.
CoRR
Samuel Coward, Erik Visse-Martindale, Chithrupa Ramesh
2020 C conf
Automatic Design Space Exploration for an Error Tolerant Application.
ARITH
Samuel Coward, Theo Drane, Yoav Harel