paper-with-me

홈 › Papers

Which Programming Language and What Features at Pre-training Stage Affect Downstream Logical Inference Performance?

2024-10-09 · Fumiya Uchiyama, Takeshi Kojima, Andrew Gambardella, Qi Cao, Yusuke Iwasawa, Yutaka Matsuo

Recent large language models (LLMs) have demonstrated remarkable generalization abilities in mathematics and logical reasoning tasks. Prior research indicates that LLMs pre-trained with programming language data exhibit high mathematical and reasoning abilities; however, this causal relationship has not been rigorously tested. Our research aims to verify which programming languages and features during pre-training affect logical inference performance. Specifically, we pre-trained decoder-based language models from scratch using datasets from ten programming languages (e.g., Python, C, Java) and three natural language datasets (Wikipedia, Fineweb, C4) under identical conditions. Thereafter, we evaluated the trained models in a few-shot in-context learning setting on logical reasoning tasks: FLD and bAbi, which do not require commonsense or world knowledge. The results demonstrate that nearly all models trained with programming languages consistently outperform those trained with natural languages, indicating that programming languages contain factors that elicit logic inference performance. In addition, we found that models trained with programming languages exhibit a better ability to follow instructions compared to those trained with natural languages. Further analysis reveals that the depth of Abstract Syntax Trees representing parsed results of programs also affects logical reasoning performance. These findings will offer insights into the essential elements of pre-training for acquiring the foundational abilities of LLMs.

📄 PDF Abstract BibTeX arXiv:2410.06735

Code (1)

fumiyauchiyama/code_pretraining 공식 구현 pytorch

Tasks

In-Context LearningLogical ReasoningWorld Knowledge

Similar Papers 제목 키워드 기반

Towards Active Logic Programming

2014-03-21 · Stefania Costantini

In this paper we present the new logic programming language DALI, aimed at defining agents and agent systems. A main design objective for DALI has been that of introducing in a declarative fashion all the essential featu…

Machine Learning Based Source Code Classification Using Syntax Oriented Features

2017-03-04 · Shaul Zevin, Catherine Holzem

As of today the programming language of the vast majority of the published source code is manually specified or programmatically assigned based on the sole file extension. In this paper we show that the source code progr…

BIG-bench Machine LearningClassificationCode ClassificationGeneral Classification+1

On the Evolution of Programming Languages

2020-06-27 · K. R. Chowdhary

This paper attempts to connects the evolution of computer languages with the evolution of life, where the later has been dictated by \emph{theory of evolution of species}, and tries to give supportive evidence that the n…

Programming by Examples Meets Historical Linguistics: A Large Language Model Based Approach to Sound Law Induction

2025-01-27 · Atharva Naik, Darsh Agrawal, Hong Sng, Clayton Marr 외

Historical linguists have long written "programs" that convert reconstructed words in an ancestor language into their attested descendants via ordered string rewrite functions (called sound laws) However, writing these p…

Code GenerationInductive BiasLanguage ModelingLanguage Modelling+2

Inference Compilation and Universal Probabilistic Programming

2016-10-31 · Tuan Anh Le, Atilim Gunes Baydin, Frank Wood

We introduce a method for using deep neural networks to amortize the cost of inference in models from the family induced by universal probabilistic programming languages, establishing a framework that combines the streng…

Probabilistic Programming