Bayesian PLSs are special cases of non-stationary affine PIMs which are proven calibrated, and affine tracing automates construction of probabilistic iterative methods from classical code.
Egglog python: A pythonic library for e-graphs
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
years
2026 2verdicts
UNVERDICTED 2representative citing papers
Empirical comparison of equality saturation versus stochastic search on five benchmarks to evaluate if e-graphs are superior for rewrite-based optimization.
citing papers explorer
-
Affine Tracing: A New Paradigm for Probabilistic Linear Solvers
Bayesian PLSs are special cases of non-stationary affine PIMs which are proven calibrated, and affine tracing automates construction of probabilistic iterative methods from classical code.
-
Rewrite System Showdown: Stochastic Search vs. EqSat
Empirical comparison of equality saturation versus stochastic search on five benchmarks to evaluate if e-graphs are superior for rewrite-based optimization.