Controlled Branching Processes: A Case Study in Structured Sampling
Nov 17, 2025 · 9 min read · Background & Problem Statement Earlier this week, we were developing a random AST sampler for a toy language, which is a small subset of a folklore language, IMP. It has a really simple syntax: syntax AExp ::= Int | Id | AExp "/" AExp ...
Join discussion




