ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2201.11227
  4. Cited By
Synchromesh: Reliable code generation from pre-trained language models

Synchromesh: Reliable code generation from pre-trained language models

26 January 2022
Gabriel Poesia
Oleksandr Polozov
Vu Le
A. Tiwari
Gustavo Soares
Christopher Meek
Sumit Gulwani
ArXivPDFHTML

Papers citing "Synchromesh: Reliable code generation from pre-trained language models"

48 / 48 papers shown
Title
Guiding LLM-based Smart Contract Generation with Finite State Machine
Guiding LLM-based Smart Contract Generation with Finite State Machine
Hao Luo
Yuhao Lin
Xiao Yan
Xintong Hu
Yanjie Wang
Qiming Zeng
Hao Wang
Jiawei Jiang
31
0
0
13 May 2025
Assessing and Enhancing the Robustness of LLM-based Multi-Agent Systems Through Chaos Engineering
Assessing and Enhancing the Robustness of LLM-based Multi-Agent Systems Through Chaos Engineering
Joshua Owotogbe
LLMAG
62
0
0
06 May 2025
Semantic Probabilistic Control of Language Models
Semantic Probabilistic Control of Language Models
Kareem Ahmed
Catarina G Belém
Padhraic Smyth
Sameer Singh
44
0
0
04 May 2025
Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo
Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo
João Loula
Benjamin LeBrun
Li Du
Ben Lipkin
Clemente Pasti
...
Ryan Cotterel
Vikash K. Mansinghka
Alexander K. Lew
Tim Vieira
Timothy J. O'Donnell
37
2
0
17 Apr 2025
Valid Text-to-SQL Generation with Unification-based DeepStochLog
Valid Text-to-SQL Generation with Unification-based DeepStochLog
Ying Jiao
Luc de Raedt
G. Marra
NAI
40
2
0
17 Mar 2025
Learning to Generate Structured Output with Schema Reinforcement Learning
Learning to Generate Structured Output with Schema Reinforcement Learning
Yunfan LU
Haolun Li
Xin Cong
Zhong Zhang
Yesai Wu
Yankai Lin
Zhiyuan Liu
Fangming Liu
Maosong Sun
47
1
0
26 Feb 2025
LLM Program Optimization via Retrieval Augmented Search
LLM Program Optimization via Retrieval Augmented Search
Sagnik Anupam
Alexander Shypula
Osbert Bastani
126
1
0
31 Jan 2025
Benchmarking and Defending Against Indirect Prompt Injection Attacks on Large Language Models
Benchmarking and Defending Against Indirect Prompt Injection Attacks on Large Language Models
Jingwei Yi
Yueqi Xie
Bin Zhu
Emre Kiciman
Guangzhong Sun
Xing Xie
Fangzhao Wu
AAML
62
65
0
28 Jan 2025
Generating CAD Code with Vision-Language Models for 3D Designs
Generating CAD Code with Vision-Language Models for 3D Designs
Kamel Alrashedy
Pradyumna Tambwekar
Z. Zaidi
Megan Langwasser
Wei Xu
Matthew Gombolay
41
8
0
07 Oct 2024
Semantic Parsing with Candidate Expressions for Knowledge Base Question Answering
Semantic Parsing with Candidate Expressions for Knowledge Base Question Answering
Daehwan Nam
Gary Geunbae Lee
43
0
0
01 Oct 2024
Retrieval Augmented Generation (RAG) and Beyond: A Comprehensive Survey
  on How to Make your LLMs use External Data More Wisely
Retrieval Augmented Generation (RAG) and Beyond: A Comprehensive Survey on How to Make your LLMs use External Data More Wisely
Siyun Zhao
Yuqing Yang
Zilong Wang
Zhiyuan He
Luna Qiu
Lili Qiu
SyDa
RALM
3DV
44
35
0
23 Sep 2024
Grammar-based Game Description Generation using Large Language Models
Grammar-based Game Description Generation using Large Language Models
Tsunehiko Tanaka
Edgar Simo-Serra
65
2
0
24 Jul 2024
RLSF: Reinforcement Learning via Symbolic Feedback
RLSF: Reinforcement Learning via Symbolic Feedback
Piyush Jha
Prithwish Jana
Arnav Arora
Vijay Ganesh
LRM
49
3
0
26 May 2024
PURPLE: Making a Large Language Model a Better SQL Writer
PURPLE: Making a Large Language Model a Better SQL Writer
Tonghui Ren
Yuankai Fan
Zhenying He
Ren Huang
Jiaqi Dai
Can Huang
Yinan Jing
Kai Zhang
Yifan Yang
Xiaoyang Sean Wang
25
22
0
29 Mar 2024
On the Challenges and Opportunities in Generative AI
On the Challenges and Opportunities in Generative AI
Laura Manduchi
Kushagra Pandey
Robert Bamler
Ryan Cotterell
Sina Daubener
...
F. Wenzel
Frank Wood
Stephan Mandt
Vincent Fortuin
Vincent Fortuin
56
17
0
28 Feb 2024
API Pack: A Massive Multi-Programming Language Dataset for API Call Generation
API Pack: A Massive Multi-Programming Language Dataset for API Call Generation
Zhen Guo
Adriana Meza Soria
Wei Sun
Songlin Yang
Yikang Shen
ELM
ALM
55
1
0
14 Feb 2024
In-context Learning with Retrieved Demonstrations for Language Models: A
  Survey
In-context Learning with Retrieved Demonstrations for Language Models: A Survey
an Luo
Xin Xu
Yue Liu
Panupong Pasupat
Mehran Kazemi
RALM
34
55
0
21 Jan 2024
Conversational AI Threads for Visualizing Multidimensional Datasets
Conversational AI Threads for Visualizing Multidimensional Datasets
Matt-Heun Hong
Anamaria Crisan
30
8
0
09 Nov 2023
Selective Demonstrations for Cross-domain Text-to-SQL
Selective Demonstrations for Cross-domain Text-to-SQL
Shuaichen Chang
Eric Fosler-Lussier
20
19
0
10 Oct 2023
SCAR: Power Side-Channel Analysis at RTL-Level
SCAR: Power Side-Channel Analysis at RTL-Level
Amisha Srivastava
Sanjay Das
Navnil Choudhury
Rafail Psiakis
Pedro Henrique Silva
Debjit Pal
Kanad Basu
32
8
0
10 Oct 2023
AutomaTikZ: Text-Guided Synthesis of Scientific Vector Graphics with
  TikZ
AutomaTikZ: Text-Guided Synthesis of Scientific Vector Graphics with TikZ
Jonas Belouadi
Anne Lauscher
Steffen Eger
21
28
0
30 Sep 2023
GPT4AIGChip: Towards Next-Generation AI Accelerator Design Automation via Large Language Models
GPT4AIGChip: Towards Next-Generation AI Accelerator Design Automation via Large Language Models
Yonggan Fu
Yongan Zhang
Zhongzhi Yu
Sixu Li
Zhifan Ye
Chaojian Li
Cheng Wan
Ying Lin
46
61
0
19 Sep 2023
Beyond Static Datasets: A Deep Interaction Approach to LLM Evaluation
Beyond Static Datasets: A Deep Interaction Approach to LLM Evaluation
Jiatong Li
Rui Li
Qi Liu
34
15
0
08 Sep 2023
Uncovering and Categorizing Social Biases in Text-to-SQL
Uncovering and Categorizing Social Biases in Text-to-SQL
Yong-Jin Liu
Yan Gao
Zhe Su
Xiaokang Chen
Elliott Ash
Jian-Guang Lou
61
6
0
25 May 2023
How Do In-Context Examples Affect Compositional Generalization?
How Do In-Context Examples Affect Compositional Generalization?
Shengnan An
Zeqi Lin
Qiang Fu
B. Chen
Nanning Zheng
Jian-Guang Lou
Dongmei Zhang
34
49
0
08 May 2023
On Codex Prompt Engineering for OCL Generation: An Empirical Study
On Codex Prompt Engineering for OCL Generation: An Empirical Study
Seif Abukhalaf
Mohammad Hamdaqa
Foutse Khomh
34
23
0
28 Mar 2023
Probing Out-of-Distribution Robustness of Language Models with
  Parameter-Efficient Transfer Learning
Probing Out-of-Distribution Robustness of Language Models with Parameter-Efficient Transfer Learning
Hyunsoo Cho
Choonghyun Park
Junyeop Kim
Hyuhng Joon Kim
Kang Min Yoo
Sang-goo Lee
OODD
35
3
0
27 Jan 2023
Structured Case-based Reasoning for Inference-time Adaptation of
  Text-to-SQL parsers
Structured Case-based Reasoning for Inference-time Adaptation of Text-to-SQL parsers
Abhijeet Awasthi
Soumen Chakrabarti
Sunita Sarawagi
33
5
0
10 Jan 2023
Prompting Is Programming: A Query Language for Large Language Models
Prompting Is Programming: A Query Language for Large Language Models
Luca Beurer-Kellner
Marc Fischer
Martin Vechev
LRM
48
95
0
12 Dec 2022
Evaluating How Fine-tuning on Bimodal Data Effects Code Generation
Evaluating How Fine-tuning on Bimodal Data Effects Code Generation
Gabriel Orlanski
Seonhye Yang
Michael Healy
ALM
21
5
0
15 Nov 2022
Do Users Write More Insecure Code with AI Assistants?
Do Users Write More Insecure Code with AI Assistants?
Neil Perry
Megha Srivastava
Deepak Kumar
Dan Boneh
ELM
AAML
17
166
0
07 Nov 2022
CodePAD: Sequence-based Code Generation with Pushdown Automaton
CodePAD: Sequence-based Code Generation with Pushdown Automaton
Yihong Dong
Xue Jiang
Yuchen Liu
Ge Li
Zhi Jin
28
6
0
02 Nov 2022
Multi-lingual Evaluation of Code Generation Models
Multi-lingual Evaluation of Code Generation Models
Ben Athiwaratkun
Sanjay Krishna Gouda
Zijian Wang
Xiaopeng Li
Yuchen Tian
...
Baishakhi Ray
Parminder Bhatia
Sudipta Sengupta
Dan Roth
Bing Xiang
ELM
120
161
0
26 Oct 2022
XRICL: Cross-lingual Retrieval-Augmented In-Context Learning for
  Cross-lingual Text-to-SQL Semantic Parsing
XRICL: Cross-lingual Retrieval-Augmented In-Context Learning for Cross-lingual Text-to-SQL Semantic Parsing
Peng Shi
Rui Zhang
Richard He Bai
Jimmy J. Lin
RALM
36
42
0
25 Oct 2022
TIARA: Multi-grained Retrieval for Robust Question Answering over Large
  Knowledge Bases
TIARA: Multi-grained Retrieval for Robust Question Answering over Large Knowledge Bases
Yiheng Shu
Zhiwei Yu
Yuhan Li
Börje F. Karlsson
Tingting Ma
Yuzhong Qu
Chin-Yew Lin
35
69
0
24 Oct 2022
Repairing Bugs in Python Assignments Using Large Language Models
Repairing Bugs in Python Assignments Using Large Language Models
Jialu Zhang
J. Cambronero
Sumit Gulwani
Vu Le
R. Piskac
Gustavo Soares
Gust Verbruggen
KELM
30
53
0
29 Sep 2022
T5QL: Taming language models for SQL generation
T5QL: Taming language models for SQL generation
Samuel Arcadinho
David Oliveira Aparício
Hugo Veiga
António Alegria
26
6
0
21 Sep 2022
CORNET: Learning Table Formatting Rules By Example
CORNET: Learning Table Formatting Rules By Example
Mukul Singh
J. Cambronero
Sumit Gulwani
Vu Le
Carina Negreanu
Mohammad Raza
Gust Verbruggen
LMTD
59
8
0
11 Aug 2022
Neurosymbolic Repair for Low-Code Formula Languages
Neurosymbolic Repair for Low-Code Formula Languages
Rohan Bavishi
Harshit Joshi
José Pablo Cambronero Sánchez
Anna Fariha
Sumit Gulwani
Vu Le
Ivan Radicek
A. Tiwari
16
13
0
24 Jul 2022
CodeRL: Mastering Code Generation through Pretrained Models and Deep
  Reinforcement Learning
CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning
Hung Le
Yue Wang
Akhilesh Deepak Gotmare
Silvio Savarese
Guosheng Lin
SyDa
ALM
135
240
0
05 Jul 2022
Language Models as Zero-Shot Planners: Extracting Actionable Knowledge
  for Embodied Agents
Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agents
Wenlong Huang
Pieter Abbeel
Deepak Pathak
Igor Mordatch
LM&Ro
42
1,062
0
18 Jan 2022
Collecting and Characterizing Natural Language Utterances for Specifying
  Data Visualizations
Collecting and Characterizing Natural Language Utterances for Specifying Data Visualizations
Arjun Srinivasan
Nikhila Nyapathy
Bongshin Lee
Steven Drucker
J. Stasko
64
69
0
01 Oct 2021
PICARD: Parsing Incrementally for Constrained Auto-Regressive Decoding
  from Language Models
PICARD: Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Models
Torsten Scholak
Nathan Schucher
Dzmitry Bahdanau
154
375
0
10 Sep 2021
Constrained Language Models Yield Few-Shot Semantic Parsers
Constrained Language Models Yield Few-Shot Semantic Parsers
Richard Shin
C. H. Lin
Sam Thomson
Charles C. Chen
Subhro Roy
Emmanouil Antonios Platanios
Adam Pauls
Dan Klein
J. Eisner
Benjamin Van Durme
301
198
0
18 Apr 2021
What Makes Good In-Context Examples for GPT-$3$?
What Makes Good In-Context Examples for GPT-333?
Jiachang Liu
Dinghan Shen
Yizhe Zhang
Bill Dolan
Lawrence Carin
Weizhu Chen
AAML
RALM
275
1,312
0
17 Jan 2021
Making Pre-trained Language Models Better Few-shot Learners
Making Pre-trained Language Models Better Few-shot Learners
Tianyu Gao
Adam Fisch
Danqi Chen
243
1,924
0
31 Dec 2020
SmBoP: Semi-autoregressive Bottom-up Semantic Parsing
SmBoP: Semi-autoregressive Bottom-up Semantic Parsing
Ohad Rubin
Jonathan Berant
138
150
0
23 Oct 2020
Task-Oriented Dialogue as Dataflow Synthesis
Task-Oriented Dialogue as Dataflow Synthesis
Semantic Machines
Jacob Andreas
J. Bufe
David Burkett
Charles C. Chen
...
Izabela Witoszko
Jason Wolfe
A. Wray
Yuchen Zhang
Alexander Zotov
AIFin
195
153
0
24 Sep 2020
1