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. 2112.15594
  4. Cited By
A Neural Network Solves, Explains, and Generates University Math
  Problems by Program Synthesis and Few-Shot Learning at Human Level

A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level

31 December 2021
Iddo Drori
Sarah J. Zhang
Reece Shuttleworth
Leonard Tang
Albert Lu
Elizabeth Ke
Kevin Liu
Linda Chen
Sunny Tran
Newman Cheng
Roman Wang
Nikhil Singh
T. Patti
J. Lynch
A. Shporer
Nakul Verma
Eugene Wu
G. Strang
    AIMat
    ReLM
ArXivPDFHTML

Papers citing "A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level"

34 / 84 papers shown
Title
Meta-in-context learning in large language models
Meta-in-context learning in large language models
Julian Coda-Forno
Marcel Binz
Zeynep Akata
M. Botvinick
Jane X. Wang
Eric Schulz
LRM
202
35
0
22 May 2023
A Symbolic Framework for Evaluating Mathematical Reasoning and
  Generalisation with Transformers
A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers
Jordan Meadows
Marco Valentino
Damien Teney
André Freitas
35
8
0
21 May 2023
Logic-LM: Empowering Large Language Models with Symbolic Solvers for
  Faithful Logical Reasoning
Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning
Liangming Pan
Alon Albalak
Xinyi Wang
William Yang Wang
ReLM
LRM
AI4CE
49
233
0
20 May 2023
ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via
  Tool Embeddings
ToolkenGPT: Augmenting Frozen Language Models with Massive Tools via Tool Embeddings
Shibo Hao
Tianyang Liu
Zhen Wang
Zhiting Hu
RALM
LLMAG
60
173
0
19 May 2023
Large Language Model Guided Tree-of-Thought
Large Language Model Guided Tree-of-Thought
Jieyi Long
LM&Ro
LRM
13
185
0
15 May 2023
"It's Weird That it Knows What I Want": Usability and Interactions with
  Copilot for Novice Programmers
"It's Weird That it Knows What I Want": Usability and Interactions with Copilot for Novice Programmers
James Prather
B. Reeves
Paul Denny
Brett A. Becker
Juho Leinonen
Andrew Luxton-Reilly
Garrett B. Powell
James Finnie-Ansley
E. Santos
40
131
0
05 Apr 2023
Can ChatGPT be used to generate scientific hypotheses?
Can ChatGPT be used to generate scientific hypotheses?
Yang Jeong Park
Daniel Kaplan
Zhichu Ren
Chia-Wei Hsu
Changhao Li
Haowei Xu
Sipei Li
Ju Li
LRM
20
37
0
30 Mar 2023
Large Language Models and Simple, Stupid Bugs
Large Language Models and Simple, Stupid Bugs
Kevin Jesse
Toufique Ahmed
Prem Devanbu
Emily Morgan
ELM
39
51
0
20 Mar 2023
Practical and Ethical Challenges of Large Language Models in Education:
  A Systematic Scoping Review
Practical and Ethical Challenges of Large Language Models in Education: A Systematic Scoping Review
Lixiang Yan
Lele Sha
Linxuan Zhao
Yuheng Li
Roberto Martínez-Maldonado
Guanliang Chen
Xinyu Li
Yueqiao Jin
D. Gašević
SyDa
ELM
AI4Ed
59
270
0
17 Mar 2023
Can neural networks do arithmetic? A survey on the elementary numerical
  skills of state-of-the-art deep learning models
Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models
Alberto Testolin
AIMat
35
20
0
14 Mar 2023
ChatGPT Participates in a Computer Science Exam
ChatGPT Participates in a Computer Science Exam
Sebastian Bordt
U. V. Luxburg
ELM
36
41
0
08 Mar 2023
Complex QA and language models hybrid architectures, Survey
Complex QA and language models hybrid architectures, Survey
Xavier Daull
P. Bellot
Emmanuel Bruno
Vincent Martin
Elisabeth Murisasco
ELM
28
15
0
17 Feb 2023
Augmented Language Models: a Survey
Augmented Language Models: a Survey
Grégoire Mialon
Roberto Dessì
Maria Lomeli
Christoforos Nalmpantis
Ramakanth Pasunuru
...
Jane Dwivedi-Yu
Asli Celikyilmaz
Edouard Grave
Yann LeCun
Thomas Scialom
LRM
KELM
47
368
0
15 Feb 2023
Numeracy from Literacy: Data Science as an Emergent Skill from Large
  Language Models
Numeracy from Literacy: Data Science as an Emergent Skill from Large Language Models
David A. Noever
Forrest McKee
ELM
74
12
0
31 Jan 2023
Mathematics, word problems, common sense, and artificial intelligence
Mathematics, word problems, common sense, and artificial intelligence
E. Davis
AIMat
11
24
0
23 Jan 2023
Blind Judgement: Agent-Based Supreme Court Modelling With GPT
Blind Judgement: Agent-Based Supreme Court Modelling With GPT
S. Hamilton
LLMAG
ELM
29
38
0
12 Jan 2023
Are Deep Neural Networks SMARTer than Second Graders?
Are Deep Neural Networks SMARTer than Second Graders?
A. Cherian
Kuan-Chuan Peng
Suhas Lohit
Kevin A. Smith
J. Tenenbaum
AAML
LRM
ReLM
33
29
0
20 Dec 2022
Large Language Models Meet NL2Code: A Survey
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
Development of a Neural Network-Based Mathematical Operation Protocol
  for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS)
Development of a Neural Network-Based Mathematical Operation Protocol for Embedded Hexadecimal Digits Using Neural Architecture Search (NAS)
Victor Robila
Kexin Pei
Junfeng Yang
21
0
0
12 Nov 2022
Steps towards prompt-based creation of virtual worlds
Steps towards prompt-based creation of virtual worlds
Jasmine Roberts
Andrzej Banburski-Fahey
J. Lanier
14
13
0
10 Nov 2022
Multi-Viewpoint and Multi-Evaluation with Felicitous Inductive Bias
  Boost Machine Abstract Reasoning Ability
Multi-Viewpoint and Multi-Evaluation with Felicitous Inductive Bias Boost Machine Abstract Reasoning Ability
Qinglai Wei
Diancheng Chen
Beiming Yuan
32
10
0
26 Oct 2022
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal
  Proofs
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
Albert Q. Jiang
Sean Welleck
Jin Peng Zhou
Wenda Li
Jiacheng Liu
M. Jamnik
Timothée Lacroix
Yuhuai Wu
Guillaume Lample
AIMat
73
158
0
21 Oct 2022
Transformers Learn Shortcuts to Automata
Transformers Learn Shortcuts to Automata
Bingbin Liu
Jordan T. Ash
Surbhi Goel
A. Krishnamurthy
Cyril Zhang
OffRL
LRM
46
156
0
19 Oct 2022
Repair Is Nearly Generation: Multilingual Program Repair with LLMs
Repair Is Nearly Generation: Multilingual Program Repair with LLMs
Harshit Joshi
J. Cambronero
Sumit Gulwani
Vu Le
Ivan Radicek
Gust Verbruggen
LRM
28
122
0
24 Aug 2022
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural
  Code Generation
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
Federico Cassano
John Gouwar
Daniel Nguyen
S. Nguyen
Luna Phipps-Costin
...
Carolyn Jane Anderson
Molly Q. Feldman
Arjun Guha
Michael Greenberg
Abhinav Jangda
ELM
24
83
0
17 Aug 2022
Limits of an AI program for solving college math problems
Limits of an AI program for solving college math problems
E. Davis
AIMat
22
3
0
14 Aug 2022
CodeT: Code Generation with Generated Tests
CodeT: Code Generation with Generated Tests
Bei Chen
Fengji Zhang
A. Nguyen
Daoguang Zan
Zeqi Lin
Jian-Guang Lou
Weizhu Chen
43
319
0
21 Jul 2022
Solving Quantitative Reasoning Problems with Language Models
Solving Quantitative Reasoning Problems with Language Models
Aitor Lewkowycz
Anders Andreassen
David Dohan
Ethan Dyer
Henryk Michalewski
...
Theo Gutman-Solo
Yuhuai Wu
Behnam Neyshabur
Guy Gur-Ari
Vedant Misra
ReLM
ELM
LRM
58
755
0
29 Jun 2022
Using cognitive psychology to understand GPT-3
Using cognitive psychology to understand GPT-3
Marcel Binz
Eric Schulz
ELM
LLMAG
250
440
0
21 Jun 2022
From Human Days to Machine Seconds: Automatically Answering and
  Generating Machine Learning Final Exams
From Human Days to Machine Seconds: Automatically Answering and Generating Machine Learning Final Exams
Iddo Drori
Sarah J. Zhang
Reece Shuttleworth
Sarah Zhang
Keith Tyser
...
Yann Hicke
Sage Simhon
S. Karnik
Darnell Granberry
Madeleine Udell
ELM
31
9
0
11 Jun 2022
Automatic Generation of Programming Exercises and Code Explanations
  using Large Language Models
Automatic Generation of Programming Exercises and Code Explanations using Large Language Models
Sami Sarsa
Paul Denny
Arto Hellas
Juho Leinonen
ELM
99
342
0
03 Jun 2022
NaturalProver: Grounded Mathematical Proof Generation with Language
  Models
NaturalProver: Grounded Mathematical Proof Generation with Language Models
Sean Welleck
Jiacheng Liu
Ximing Lu
Hannaneh Hajishirzi
Yejin Choi
AIMat
LRM
30
66
0
25 May 2022
Self-Programming Artificial Intelligence Using Code-Generating Language
  Models
Self-Programming Artificial Intelligence Using Code-Generating Language Models
Alex Sheng
Shankar Padmanabhan
SyDa
17
2
0
30 Apr 2022
Pretrained Language Models are Symbolic Mathematics Solvers too!
Pretrained Language Models are Symbolic Mathematics Solvers too!
Kimia Noorbakhsh
Modar Sulaiman
M. Sharifi
Kallol Roy
Pooyan Jamshidi
LRM
28
18
0
07 Oct 2021
Previous
12