Solving Linear Algebra by Program Synthesis

16 November 2021

Papers citing "Solving Linear Algebra by Program Synthesis"

13 / 13 papers shown

Title
Exploring the Robustness of Large Language Models for Solving Programming Problems Atsushi Shirafuji Yutaka Watanobe Takumi Ito Makoto Morishita Yuki Nakamura Yusuke Oda Jun Suzuki ELM 41 18 0 26 Jun 2023
Thrilled by Your Progress! Large Language Models (GPT-4) No Longer Struggle to Pass Assessments in Higher Education Programming Courses Jaromír Šavelka Arav Agarwal Marshall An Chris Bogart M. Sakr ELM 58 106 0 15 Jun 2023
Can Generative Pre-trained Transformers (GPT) Pass Assessments in Higher Education Programming Courses? Jaromír Šavelka Arav Agarwal Chris Bogart Yifan Song M. Sakr ELM 39 97 0 16 Mar 2023
A Survey on Pretrained Language Models for Neural Code Intelligence Yichen Xu Yanqiao Zhu 9 17 0 20 Dec 2022
Large Language Models Meet NL2Code: A Survey Daoguang Zan B. Chen Fengji Zhang Di Lu Bingchao Wu Bei Guan Yongji Wang Jian-Guang Lou ELM ALM 31 170 0 19 Dec 2022
Codex Hacks HackerRank: Memorization Issues and a Framework for Code Synthesis Evaluation Anjan Karmakar Julian Aron Prenner Marco DÁmbros Romain Robbes ELM 24 17 0 06 Dec 2022
Learning to Configure Computer Networks with Neural Algorithmic Reasoning Luca Beurer-Kellner Martin Vechev Laurent Vanbever Petar Velickovic 21 17 0 26 Oct 2022
Piloting Copilot and Codex: Hot Temperature, Cold Prompts, or Black Magic? Jean-Baptiste Döderlein M. Acher D. Khelladi B. Combemale 34 33 0 26 Oct 2022
GitHub Copilot AI pair programmer: Asset or Liability? Arghavan Moradi Dakhel Vahid Majdinasab Amin Nikanjam Foutse Khomh Michel C. Desmarais Zhen Ming Z. Jiang 34 332 0 30 Jun 2022
From Natural Language to Simulations: Applying GPT-3 Codex to Automate Simulation Modeling of Logistics Systems I. Jackson M. J. Sáenz 16 8 0 24 Feb 2022
Competition-Level Code Generation with AlphaCode Yujia Li David Choi Junyoung Chung Nate Kushman Julian Schrittwieser ... Esme Sutherland Robson Pushmeet Kohli Nando de Koray Kavukcuoglu Oriol Vinyals 26 1,302 0 08 Feb 2022
Fooling MOSS Detection with Pretrained Language Models Stella Biderman Edward Raff DeLMO 19 35 0 19 Jan 2022
MathBERT: A Pre-Trained Model for Mathematical Formula Understanding Shuai Peng Ke Yuan Liangcai Gao Zhi Tang AIMat 43 105 0 02 May 2021