Search Results

Towards a unified language in experimental designs propagated by a software framework

1 code implementation11 Jul 2023

Experiments require human decisions in the design process, which in turn are reformulated and summarized as inputs into a system (computational or otherwise) to generate the experimental design.

Other Computer Science Quantitative Methods Methodology

From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought

1 code implementation22 Jun 2023

Our architecture integrates two computational tools that have not previously come together: we model thinking with probabilistic programs, an expressive representation for commonsense reasoning; and we model meaning construction with large language models (LLMs), which support broad-coverage translation from natural language utterances to code expressions in a probabilistic programming language.

Probabilistic Programming Relational Reasoning

Learning a Deep Generative Model like a Program: the Free Category Prior

1 code implementation22 Nov 2020

Humans surpass the cognitive abilities of most other animals in our ability to "chunk" concepts into words, and then combine the words to combine the concepts.

Program induction

WatChat: Explaining perplexing programs by debugging mental models

1 code implementation8 Mar 2024

Often, a good explanation for a program's unexpected behavior is a bug in the programmer's code.

Misconceptions Program Synthesis

Generative Grading: Near Human-level Accuracy for Automated Feedback on Richly Structured Problems

1 code implementation23 May 2019

In this paper, we present generative grading: a novel computational approach for providing feedback at scale that is capable of accurately grading student work and providing nuanced, interpretable feedback.

Pragmatic inference and visual abstraction enable contextual flexibility during visual communication

1 code implementation11 Mar 2019

On each trial, both participants were shown the same four objects, but in different locations.

The Mathematics of Text Structure

1 code implementation6 Apr 2019

While in DisCoCat all meanings are fixed as states (i. e. have no input), in DisCoCirc word meanings correspond to a type, or system, and the states of this system can evolve.

Sentence

Analogy-Making as a Core Primitive in the Software Engineering Toolbox

1 code implementation14 Sep 2020

In this paper, we argue that analogy making should be seen as a core primitive in software engineering.

Planning with Biological Neurons and Synapses

1 code implementation15 Dec 2021

We revisit the planning problem in the blocks world, and we implement a known heuristic for this task.

On the notion of number in humans and machines

1 code implementation27 Jun 2019

These measurement results can be interpreted similar to the results from SMNIST for Humans.

General Classification Image Classification