6 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.PL2023
Efficient Bottom-Up Synthesis for Programs with Local Variables
Xiang Li, Xiangyu Zhou, Rui Dong +2
We propose a new synthesis algorithm that can efficiently search programs with local variables (e.g., those introduced by lambdas). Prior bottom-up synthesis algorithms are not abl…
cs.CL2023★ 6 cited
STREET: A Multi-Task Structured Reasoning and Explanation Benchmark
Danilo Ribeiro, Shen Wang, Xiaofei Ma +10
We introduce STREET, a unified multi-task and multi-domain natural language reasoning and explanation benchmark. Unlike most existing question-answering (QA) datasets, we expect mo…