Zobrazeno 1 - 10
of 9 737
pro vyhledávání: '"Functional program"'
Proving equivalence between functional programs is a fundamental problem in program verification, which often amounts to reasoning about algebraic data types (ADTs) and compositions of structural recursions. Modern theorem provers address this proble
Externí odkaz:
http://arxiv.org/abs/2405.11535
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
This paper explores the capabilities of current transformer-based language models for program evaluation of simple functional programming languages. We introduce a new program generation mechanism that allows control over syntactic sugar for semantic
Externí odkaz:
http://arxiv.org/abs/2112.04630
Autor:
Zuo, Zhengkang, Zeng, Zhicheng, Su, Wei, Huang, Qing, Ke, Yuhan, Liu, Zengxin, Wang, Changjing, Liang, Wei
Publikováno v:
In Information Sciences July 2023 633:613-632
Autor:
Kozyrev, S. V.
We discuss a model of genome as a program with functional architecture and consider the approach to Darwinian evolution as a learning problem for functional programming. In particular we introduce a model of learning for some class of functional prog
Externí odkaz:
http://arxiv.org/abs/2006.09980
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Yamasaki, Takahiro, Kuroda, Akiyoshi, Kato, Toshihiro, Nara, Jun, Koga, Junichiro, Uda, Tsuyoshi, Minami, Kazuo, Ohno, Takahisa
Publikováno v:
In Computer Physics Communications November 2019 244:264-276
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Programming by Example (PBE) is the task of inducing computer programs from input-output examples. It can be seen as a type of machine learning where the hypothesis space is the set of legal programs in some programming language. Recent work on diffe
Externí odkaz:
http://arxiv.org/abs/1611.01988