[New Blog Post] A Slotted Hash Cons for Alpha Invariance https://www.philipzucker.com/slotted_hash_cons/ #hashing #egraph #lambda

[New Blog Post] Brute E-Graphs Modulo Theories 2: Extraction, Proofs, and Context #egraph #logic https://www.philipzucker.com/egraph-mt2/

[New Blog Post] Coset Enumeration using Equality Saturation https://www.philipzucker.com/coset_enum_egraph/ #egraph #grouptheory #algebra

[New Blog Post] Towards an AC Egraph: Groebner, Graver and Ground Multiset Rewriting https://www.philipzucker.com/multiset_rw/ #egraph

[New Blog Post] Acyclic Egraphs and Smart Constructors https://philipzucker.com/smart_constructor_aegraph/ #egraph #compiler

[New Blog Post] Co-Egraphs: Streams, Unification, PEGs, Rational Lambdas https://philipzucker.com/coegraph/ #egraph #logic #automatedreasoning

[New Blog Post] Gauss and Groebner Egraphs: Intrinsic Linear and Polynomial Equations https://philipzucker.com/linear_grobner_egraph/ #logic #egraph #sympy

[New Blog Post] Conditional Simplification of Z3py Expressions with Egglog https://philipzucker.com/egglog_z3_simp/ #logic #python #egraph

[New Blog Post] EGRAPHS 2024 submission: E-graphs and Automated Reasoning https://philipzucker.com/egraph2024_talk/ #egraph #pldi

Looking forward to the EGRAPHS community call lightning talks tomorrow...

https://egraphs.org/meeting/2024-03-21-lightning-talks

Wish me luck trying in explaining this chart of optimizing scikit-learn with numba using egraphs in ten minutes 🫣

https://egglog-python.readthedocs.io/latest/explanation/2024_03_17_community_talk.html

#python #opensource #egraph

[New Blog Post] Bottom Up Egraph Ematching Plays Nicer with Theories (AC, etc) https://philipzucker.com/bottom_up/ #egraph #python #termrewriting

I had fun this weekend re-creating the examples from original congruence closure paper from 1980 in Python using egglog

https://egglog-python.readthedocs.io/latest/explanation/2023_12_02_congruence_closure.html

#egraph #formal_methods

Can you name that algorithm based on this dataflow representation?

It's Linear Discriminant Analysis as implemented by Scikit Learn!

I finished up a notebook showing how you can build an Array API compatible library with the egglog e-graph library in Python and use that to optimize a #scikit-learn algorithm with #numba

https://egg-smol-python.readthedocs.io/en/stable/tutorials/sklearn.html

For more context, I gave a talk on the broader goals this summer:

https://egg-smol-python.readthedocs.io/en/stable/explanation/2023_07_presentation.html

https://www.youtube.com/watch?v=Pbi2uV9vWPg

#pydata #egraph #python

[New Blog Post] Answer Set Programming for E-Graph DAG Extraction #egraph #asp
https://www.philipzucker.com/asp-for-egraph-extraction/