15 papers · ranked by Valyu relevance
Mukund Raghothaman, Abhishek Udupa
- 1. A base vocabulary and theory, specifying the basic types, primitive operations over the types, and their properties, - 2. a finite set of typed "synthesis" functions f1, f2, . . . , whose bodies are to be synthesized, - 3. syntactic constraints: for each synthesis function fi , a grammar Gi describing the…
Shuvendu K. Lahiri, Chao Wang, Paul Krogmeier, Umang Mathur + 3 more
'Adithya Murali' 'P. Madhusudan' 'Mahesh Viswanathan'] We identify a decidable synthesis problem for a class of programs of unbounded size with conditionals and iteration that work over infinite data domains. The programs in our class use uninterpreted functions and relations, and abide by a restriction called…
Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan + 1 more
'Mahesh Viswanathan'] Abstract. We identify a decidable synthesis problem for a class of programs of unbounded size with conditionals and iteration that work over infinite data domains. The programs in our class use uninterpreted functions and relations, and abide by a restriction called coherence that was recently…
Bernd Finkbeiner, Philippe Heim, Noemi Passing
Temporal stream logic (TSL) extends LTL with updates and predicates over arbitrary function terms. This allows for specifying dataintensive systems for which LTL is not expressive enough. In the semantics of TSL, functions and predicates are left uninterpreted. In this paper, we extend TSL with first-order theories…
Ernest Davis
Questions about a text or an image that cannot be answered raise distinctive issues for an AI. This note discusses the problem of unanswerable questions in VQA (visual question answering), in QA (textual question answering), and in AI generally.
Steve McKeever
In scientific and engineering applications, physical quantities embodied as units of measurement (UoM) are frequently used. The loss of the Mars climate orbiter, attributed to a confusion between the metric and imperial unit systems, popularised the disastrous consequences of incorrectly handling measurement values.…
Peter Sestoft
Here we present an implementation of sheet-defined functions in the style Nunez [12] and Peyton- ˜ Jones et al. [13] that (1) uses only standard spreadsheet concepts and notations, no external languages, so it should be understandable to competent spreadsheet users, and (2) is very efficient, so that userdefined…
Vladimir Anashin, Wilson A. Zuniga-Galindo
In this paper, it is rigorously proven that since observational data (i.e., numerical values of physical quantities) are rational numbers only due to inevitably nonzero measurements errors, the conclusion about whether Nature at the smallest scales is discrete or continuous, random and chaotic, or strictly…
Authors not listed
Curried functions provide a systematic way of transforming multi-argument functions into nested singleargument functions. This transformation allows partial application and supports many central principles of functional programming. Their extension, called curried 𝑘-ary functions, naturally generalizes the familiar…
Sarah Schwettmann, Tamar Rott Shaham, Joanna Materzyńska, Neil Chowdhury + 4 more
'Neil Chowdhury' 'Shuang Li' 'Jacob Andreas' 'David Bau' 'Antonio Torralba'] Labeling neural network submodules with human-legible descriptions is useful for many downstream tasks: such descriptions can surface failures, guide interventions, and perhaps even explain important model behaviors. To date, most mechanistic…
Christian Engwer, Carsten Gräser, Steffen Müthing, Oliver Sander
The dune-functions Dune module introduces a new programmer interface for discrete and non-discrete functions. Unlike the previous interfaces considered in the existing Dune modules, it is based on overloading operator(), and returning values by-value. This makes user code much more readable, and allows the…
Craig Poskanzer, Stefano Anzellotti
In this paper we propose a novel technique to investigate the nonlinear interactions between brain regions that captures both the strength and the type of the functional relationship. Inspired by the field of functional analysis, we propose that the relationship between activity in two different brain areas can be…
Simen Tennøe, Geir Halnes, Gaute T. Einevoll
Computational models in neuroscience typically contain many parameters that are poorly constrained by experimental data. Uncertainty quantification and sensitivity analysis provide rigorous procedures to quantify how the model output depends on this parameter uncertainty. Unfortunately, the application of such methods…
Swagarika Jaharlal Giri, Nabil Ibtehaz, Daisuke Kihara
Understanding the biological functions of proteins is of fundamental importance in modern biology. To represent function of proteins, Gene Ontology (GO), a controlled vocabulary, is frequently used, because it is easy to handle by computer programs avoiding open-ended text interpretation. Particularly, the majority of…
Eric Schulz, Joshua B. Tenenbaum, David Duvenaud, Maarten Speekenbrink + 1 more
How do people recognize and learn about complex functional structure? Taking inspiration from other areas of cognitive science, we propose that this is achieved by harnessing compositionality: complex structure is decomposed into simpler building blocks. We formalize this idea within the framework of Bayesian…