Results 1 to 10 of about 8,717,226 (303)
Image-based many-language programming language identification [PDF]
PeerJ Computer Science, 2021 Programming language identification (PLI) is a common need in automatic program comprehension as well as a prerequisite for deeper forms of code understanding.
Francesca Del Bonifro +3 more
doaj +3 more sources
Stan: A Probabilistic Programming Language. [PDF]
J Stat Softw, 2017 Stan is a probabilistic programming language for specifying statistical models. A Stan program imperatively defines a log probability function over parameters conditioned on specified data and constants.
Carpenter B +9 more
europepmc +2 more sources
Special features of case marking forms in the first printed New Testament in the Udmurt language [PDF]
Финно-угорский мир, 2022 Introduction. This article considers the nominal case markers in the first printed New Testament in the Udmurt language. These manuscripts are known as the first sources for studying the process of the case system formation, as well as the morphology of ...
Maria P. Bezenova
doaj +1 more source
Prompt Programming for Large Language Models: Beyond the Few-Shot Paradigm [PDF]
CHI Extended Abstracts, 2021 Prevailing methods for mapping large generative language models to supervised tasks may fail to sufficiently probe models’ novel capabilities. Using GPT-3 as a case study, we show that 0-shot prompts can significantly outperform few-shot prompts.
Laria Reynolds, Kyle McDonell
semanticscholar +1 more source
Array programming with NumPy [PDF]
Nature, 2020 Array programming provides a powerful, compact and expressive syntax for accessing, manipulating and operating on data in vectors, matrices and higher-dimensional arrays. NumPy is the primary array programming library for the Python language.
Charles R. Harris +25 more
semanticscholar +1 more source
Scripting languages for geomorphological modelling and topographic visualization of Serbia [PDF]
Zbornik Matice Srpske za Prirodne Nauke, 2021 Scripting cartographic technique is a new method of geospatial data visualization - especially with thematic mapping such as geomorphological models.
Lemenkova Polina
doaj +1 more source
Automatic Generation of Programming Exercises and Code Explanations Using Large Language Models [PDF]
International Computing Education Research Workshop, 2022 This article explores the natural language generation capabilities of large language models with application to the production of two types of learning resources common in programming courses.
Sami Sarsa +3 more
semanticscholar +1 more source
CodeBERT: A Pre-Trained Model for Programming and Natural Languages [PDF]
Findings, 2020 We present CodeBERT, a bimodal pre-trained model for programming language (PL) and natural language (NL). CodeBERT learns general-purpose representations that support downstream NL-PL applications such as natural language code search, code documentation ...
Zhangyin Feng +10 more
semanticscholar +1 more source
The Lean 4 Theorem Prover and Programming Language
CADE, 2021 Lean 4 is a reimplementation of the Lean interactive theorem prover (ITP) in Lean itself. It addresses many shortcomings of the previous versions and contains many new features.
L. D. Moura, Sebastian Ullrich
semanticscholar +1 more source
Definitions, 2020 This report documents the program and the outcomes of Dagstuhl Seminar 23062 “Programming Language Processing” (PLP). The seminar brought together researchers and practitioners from three communities–software engineering, programming languages, and ...
Jiewen Yao, Vincent Zimmer
semanticscholar +2 more sources