Ruler: Inferring Rewrite rules with Equality Saturation

N/A

Rewrite Rule Inference Using Equality Saturation Chandrakana Nandi, Max Willsey, Amy Zhu, Yisu Remy Wang, Brett Saiki, Adam Anderson, Adriana Schulz, Dan Grossman, Zachary Tatlock OOPSLA 2021 Rewrite Rules Are Ubiquitous! Compilers Program Synthesizers Simplifiers / Optimizers SMT Solvers ML Frameworks Rewrite Engines must be Efficient and Reliable! Compilers Program Synthesizers Simplifiers / Optimizers…

saved by

• Franklyn Wang

related reading

• Aman's AI Journal • Primers • Ilya Sutskever's Top 30aman.ai
• In-context Learning and Induction Headstransformer-circuits.pub
• [2510.13786] The Art of Scaling Reinforcement Learning Compute for LLMsarxiv.org
• pdfopenreview.net
• Reasoning in General Domains without Verifiersarxiv.org
• Rubrics as Rewards: Reinforcement Learning Beyond Verifiable Domainsarxiv.org
• Reasoning Models Reason Well, Until They Don'tarxiv.org
• 2305.18654arxiv.org
• Softmax Linear Unitstransformer-circuits.pub
• Position: It's Time to Optimize for Self-Consistencytime-for-consistency.github.io
• 2310.01405.pdfarxiv.org
• 2310.01405arxiv.org