Sotabase

Career

· Master of Science (SM) in Electrical Engineering and Computer Science, MIT2023–
· PhD Student, MIT2019–

Publications (6)

MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis
arXiv.org · 2024
Stochastic Lazy Knowledge Compilation for Inference in Discrete Probabilistic Programs
Proc. ACM Program. Lang. · 2025
Tracking Uncertainty During Uncertain Tracking
Annual Meeting of the Cognitive Science Society · 2025
Sotabase
Maddy Bowers | Researcher Profile | Sotabase | Sotabase