Samuel Coward
- BALROG: Benchmarking Agentic LLM and VLM Reasoning On Games
2024/11/20 by Davide Paglieri, Bartłomiej Cupiał, Paglieri, Davide +25 · 4 voices · 46 citations
Computer Science · #Multi-Agent Systems and Negotiation #Semantic Web and Ontologies #cs.AI
- Craftax: A Lightning-Fast Benchmark for Open-Ended Reinforcement Learning
2024/02/26 by Michael R. Matthews, Matthews, Michael, Michael Beukman +11 · 25 citations
Computer Science · #Evolutionary Algorithms and Applications #FOS: Computer and information sciences #Machine Learning (cs.LG) #Reinforcement Learning in Robotics
- Automating Constraint-Aware Datapath Optimization using E-Graphs
2023/03/03 by Samuel Coward, George A. Constantinides, Coward, Samuel +3 · 5 citations
Computer Science · Engineering · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Hardware Architecture (cs.AR) #Low-power high-performance VLSI design #Parallel Computing and Optimization Techniques
- Automatic Datapath Optimization using E-Graphs
2022/04/25 by Samuel Coward, George A. Constantinides, Coward, Samuel +3 · 4 citations
Engineering · Computer Science · #Low-power high-performance VLSI design #VLSI and FPGA Design Techniques #VLSI and Analog Circuit Testing
- Datapath Verification via Word-Level E-Graph Rewriting
2023/08/01 by Samuel Coward, Emiliano Morini, Coward, Samuel +7 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Hardware Architecture (cs.AR) #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #VLSI and Analog Circuit Testing
- eqsat: An Equality Saturation Dialect for Non-destructive Rewriting
2025/05/14 by Jules Merckx, Alexandre Lopoukhine, Merckx, Jules +9 · 1 voice · 1 citation
Arts and Humanities · Computer Science · Social Sciences · #FOS: Computer and information sciences #Language, Linguistics, Cultural Analysis #Linguistic, Cultural, and Literary Studies #Natural Language Processing Techniques #Programming Languages (cs.PL) #cs.PL
- SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIR
2023/08/15 by Jianyi Cheng, Samuel Coward, Cheng, Jianyi +7 · 2 citations
Computer Science · Engineering · #Parallel Computing and Optimization Techniques #Embedded Systems Design Techniques #Ferroelectric and Negative Capacitance Devices
- Combining E-Graphs with Abstract Interpretation
2022/05/30 by Samuel Coward, George A. Constantinides, Coward, Samuel +3 · 1 citation
Computer Science · #Software Engineering Research #Software Testing and Debugging Techniques #Formal Methods in Verification
- ROVER: RTL Optimization via Verified E-Graph Rewriting
2024/06/18 by Samuel Coward, Theo Drane, Coward, Samuel +3 · 1 citation
Computer Science · #Semantic Web and Ontologies #Graph Theory and Algorithms #Advanced Database Systems and Queries
- Assessing the Zero-Shot Capabilities of LLMs for Action Evaluation in RL
2024/09/19 by Eduardo Pignatelli, Johan Ferret, Pignatelli, Eduardo +11 · 1 citation
Computer Science · Engineering · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Information and Cyber Security #Machine Learning (cs.LG) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research