Publications

• Verified Dead Store Elimination via Backwards Dataflow Analysis in Lean 4 (PDF)
• Reproducing Bayesian Model Merging for Stochastic Context Free Grammar Induction (PDF)