2024
Amortizing Pragmatic Program Synthesis with Rankings
ICML 2024poster
The usage of Rational Speech Acts (RSA) framework has been successful in building *pragmatic* program synthesizers that return programs which, in addition to being logically consistent with user-generated examples, account for the fact that a user chooses their examples informatively. We present a g…