Gust Verbruggen

An empirical study of validating synthetic data for formula generation

2025

Large language models (LLMs) can be leveraged to help write formulas in spreadsheets, but formula data resources are scarce, impacting both the base performance of pre-trained models and limiting the ability to fine-tune them.Given a …

LLM-Guided Compositional Program Synthesis

2025 · arXiv (Cornell University)

Program synthesis from input-output examples, also called programming by example (PBE), has had tremendous impact on automating end-user tasks. Large language models (LLMs) have the ability to solve PBE tasks by generating code in different …