On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,742 papers · 148 categories

Trend · papers per month

count % of corpus

2 results for “SyGuS”

Grammar Filtering For Syntax-Guided Synthesiscs.LG

System uses machine learning and automated reasoning to speed up PBE synthesis.

problem Slow synthesis in PBE due to domain-specific knowledge and large training datasets.

method Preprocess SyGuS PBE problems with a neural network to reduce search space, then use automated reasoning for faster solution.

result System outperforms all competing tools in the 2019 SyGuS Competition for the PBE Strings track by 47.65%.

Programming-by-Example Synthesis Machine Learning Automated Reasoning SyGuS

2020-02-07abs ↗pdf ↗

BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Explorationcs.PL

BUSTLE synthesizes programs by learning from intermediate values.

problem Challenges in synthesizing complex programs due to large search space.

method Bottom-up search guided by a neural network trained on input-output examples.

result Bottom-up search with execution of intermediate programs provides valuable semantic information.

program synthesis bottom-up search neural network learning-guided exploration property signatures

2020-07-28abs ↗pdf ↗