Showing 1–20 of 22 results
/ Date/ Name
Dec 24, 2024ReducedLUT: Table Decomposition with "Don't Care" ConditionsApr 25, 2022Automatic Datapath Optimization using E-GraphsAug 1, 2023Datapath Verification via Word-Level E-Graph RewritingApr 22, 2024On the Systematic Creation of Faithfully Rounded Commutative Truncated Booth MultipliersMar 3, 2023Automating Constraint-Aware Datapath Optimization using E-GraphsMar 17, 2022Abstract Interpretation on E-GraphsMay 14, 2025eqsat: An Equality Saturation Dialect for Non-destructive RewritingJun 18, 2024ROVER: RTL Optimization via Verified E-Graph RewritingMay 19, 2022Automatic Generation of Complete Polynomial Interpolation Hardware Design SpaceMar 19, 2024JaxUED: A simple and useable UED library in JaxApr 18, 2024Combining Power and Arithmetic Optimization via Datapath RewritingAug 15, 2023SEER: Super-Optimization Explorer for HLS using E-graph Rewriting with MLIRDec 10, 2023Multiplier Optimization via E-Graph RewritingOct 2, 2020Attention-Based Clustering: Learning a Kernel from ContextMay 30, 2022Combining E-Graphs with Abstract InterpretationFeb 18, 2026E-Graphs as a Persistent Compiler AbstractionSep 19, 2024Assessing the Zero-Shot Capabilities of LLMs for Action Evaluation in RLFeb 26, 2024Craftax: A Lightning-Fast Benchmark for Open-Ended Reinforcement LearningFeb 19, 2024Refining Minimax Regret for Unsupervised Environment DesignNov 20, 2024BALROG: Benchmarking Agentic LLM and VLM Reasoning On Games