Large Language Models Based Automatic Synthesis of Software
Specifications

Large Language Models Based Automatic Synthesis of Software Specifications

18 April 2023

Shantanu Mandal

Javier S. Turek

Jesmin Jahan Tithi

Papers citing "Large Language Models Based Automatic Synthesis of Software Specifications"

10 / 10 papers shown

Title
The importance of visual modelling languages in generative software engineering Roberto Rossi 130 1 0 27 Nov 2024
FoC: Figure out the Cryptographic Functions in Stripped Binaries with LLMs Guoqiang Chen Xiuwei Shang Shaoyin Cheng Yanming Zhang Weiming Zhang Neng H. Yu N. Yu 109 2 0 27 Mar 2024
Synthesizing Programs with Continuous Optimization Shantanu Mandal T. A. Anderson Javier S. Turek Justin Emile Gottschlich A. Muzahid 37 3 0 02 Nov 2022
Automated Identification of Security-Relevant Configuration Settings Using NLP Patrick Stöckle Theresa Wasserer Bernd Grobauer A. Pretschner 29 5 0 19 Sep 2022
Pre-trained Models for Natural Language Processing: A Survey Xipeng Qiu Tianxiang Sun Yige Xu Yunfan Shao Ning Dai Xuanjing Huang LM&MA VLM 356 1,484 0 18 Mar 2020
Learning Fitness Functions for Machine Programming Shantanu Mandal T. A. Anderson Javier S. Turek Justin Emile Gottschlich Sheng-Tian Zhou A. Muzahid 60 11 0 22 Aug 2019
How to Fine-Tune BERT for Text Classification? Chi Sun Xipeng Qiu Yige Xu Xuanjing Huang 87 1,521 0 14 May 2019
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding Jacob Devlin Ming-Wei Chang Kenton Lee Kristina Toutanova VLM SSL SSeg 1.7K 94,770 0 11 Oct 2018
Attention Is All You Need Ashish Vaswani Noam M. Shazeer Niki Parmar Jakob Uszkoreit Llion Jones Aidan Gomez Lukasz Kaiser Illia Polosukhin 3DV 690 131,526 0 12 Jun 2017
Deep Residual Learning for Image Recognition Kaiming He Xinming Zhang Shaoqing Ren Jian Sun MedIm 2.2K 193,878 0 10 Dec 2015