MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis. - Sagnik Anupam; Maddy Bowers; Omar Costilla-Reyes; Armando Solar-Lezama (CoRR, 2024)

Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs. - Maddy Bowers; Alexander K. Lew; Joshua B. Tenenbaum; Armando Solar-Lezama; Vikash K. Mansinghka (Proc. ACM Program. Lang., 2025)