Ulyana Piterbarg
@upiter.bsky.social
PhD at NYU studying reasoning, decision-making, and open-endedness
alum of MIT | prev: Google, MSR, MIT CoCoSci
https://upiterbarg.github.io/
alum of MIT | prev: Google, MSR, MIT CoCoSci
https://upiterbarg.github.io/
(Many) more details in our paper! arxiv.org/abs/2410.02749
arxiv.org
February 12, 2025 at 8:08 PM
(Many) more details in our paper! arxiv.org/abs/2410.02749
LMs trained to synthesize programs by repeatedly editing their own generations produce more diverse code compared to baselines
This improves the trade-off between test-time FLOPs and pass@k
This improves the trade-off between test-time FLOPs and pass@k
February 12, 2025 at 8:08 PM
LMs trained to synthesize programs by repeatedly editing their own generations produce more diverse code compared to baselines
This improves the trade-off between test-time FLOPs and pass@k
This improves the trade-off between test-time FLOPs and pass@k
Our approach introduces an algorithm, LintSeq, for sampling across interdependent lines in source code by using a code linter
With LintSeq, we can generate plausible edit *trajectories* for any source code file, covering possible ways of synthesizing its contents edit-by-edit with no linter errors
With LintSeq, we can generate plausible edit *trajectories* for any source code file, covering possible ways of synthesizing its contents edit-by-edit with no linter errors
February 12, 2025 at 8:08 PM
Our approach introduces an algorithm, LintSeq, for sampling across interdependent lines in source code by using a code linter
With LintSeq, we can generate plausible edit *trajectories* for any source code file, covering possible ways of synthesizing its contents edit-by-edit with no linter errors
With LintSeq, we can generate plausible edit *trajectories* for any source code file, covering possible ways of synthesizing its contents edit-by-edit with no linter errors
Williams and Zipser (1989) is a classic one! leech.cybernoid.gr/files/text/p...
leech.cybernoid.gr
January 30, 2025 at 5:47 PM
Williams and Zipser (1989) is a classic one! leech.cybernoid.gr/files/text/p...