English
Related papers

Related papers: Functional Equivalence with NARS

200 papers

Despite the strong reasoning capabilities of recent large language models (LLMs), achieving reliable performance on challenging tasks often requires post-training or computationally expensive sampling strategies, limiting their practical…

Computation and Language · Computer Science 2026-01-28 Fangan Dong , Zuming Yan , Xuri Ge , Zhiwei Xu , Mengqi Zhang , Xuanang Chen , Ben He , Xin Xin , Zhumin Chen , Ying Zhou

Referring expression comprehension aims to localize objects identified by natural language descriptions. This is a challenging task as it requires understanding of both visual and language domains. One nature is that each object can be…

Computer Vision and Pattern Recognition · Computer Science 2021-04-21 Yi-Wen Chen , Yi-Hsuan Tsai , Ming-Hsuan Yang

Studies in recent years have demonstrated that neural organization and structure impact an individual's ability to perform a given task. Specifically, individuals with greater neural efficiency have been shown to outperform those with less…

Objective skill assessment in high-stakes procedural environments requires models that not only decode underlying cognitive and motor processes but also generalize across tasks, individuals, and experimental contexts. While prior work has…

Signal Processing · Electrical Eng. & Systems 2025-07-01 A. Subedi , S. De , L. Cavuoto , S. Schwaitzberg , M. Hackett , J. Norfleet

We present an extension of System F with higher-order context-free session types. The mixture of functional types with session types has proven to be a challenge for type equivalence formalization: whereas functional type equivalence is…

Logic in Computer Science · Computer Science 2022-03-25 Diana Costa , Andreia Mordido , Diogo Poças , Vasco T. Vasconcelos

In this work, we propose an adaptive sparse learning algorithm that can be applied to learn the physical processes and obtain a sparse representation of the solution given a large snapshot space. Assume that there is a rich class of…

Machine Learning · Computer Science 2022-07-26 Yating Wang , Wing Tat Leung , Guang Lin

Most previous studies integrate cognitive language processing signals (e.g., eye-tracking or EEG data) into neural models of natural language processing (NLP) just by directly concatenating word embeddings with cognitive features, ignoring…

Computation and Language · Computer Science 2023-11-15 Yuqi Ren , Deyi Xiong

We present a system for the automatic differentiation of a higher-order functional array-processing language. The core functional language underlying this system simultaneously supports both source-to-source automatic differentiation and…

Mathematical Software · Computer Science 2018-06-07 Amir Shaikhha , Andrew Fitzgibbon , Dimitrios Vytiniotis , Simon Peyton Jones , Christoph Koch

The Collaborative Research Center for Everyday Activity Science & Engineering (CRC EASE) aims to enable robots to perform environmental interaction tasks with close to human capacity. It therefore employs a shared ontology to model the…

Neurons and Cognition · Quantitative Biology 2026-02-16 Florian Ahrens , Mihai Pomarlan , Daniel Beßler , Thorsten Fehr , Michael Beetz , Manfred Herrmann

Cognitive flexibility describes the human ability to switch between modes of mental function to achieve goals. Mental switching is accompanied by transient changes in brain activity, which must occur atop an anatomical architecture that…

Neurons and Cognition · Quantitative Biology 2016-11-29 John D. Medaglia , Weiyu Huang , Elisabeth A. Karuza , Sharon L. Thompson-Schill , Alejandro Ribeiro , Danielle S. Bassett

Artificial neural network (NN) architecture design is a nontrivial and time-consuming task that often requires a high level of human expertise. Neural architecture search (NAS) serves to automate the design of NN architectures and has…

Neural and Evolutionary Computing · Computer Science 2024-09-10 Reinhard Booysen , Anna Sergeevna Bosman

An important problem in multiview representation learning is finding the optimal combination of views with respect to the specific task at hand. To this end, we introduce NAM: a Neural Attentive Multiview machine that learns multiview item…

Machine Learning · Computer Science 2020-02-19 Oren Barkan , Ori Katz , Noam Koenigstein

Analogical reasoning is a powerful inductive mechanism, widely used in human cognition and increasingly applied in artificial intelligence. Formal frameworks for analogical inference have been developed for Boolean domains, where inference…

Artificial Intelligence · Computer Science 2025-12-01 Francisco Cunha , Yves Lepage , Miguel Couceiro , Zied Bouraoui

Feed-forward neural networks consist of a sequence of layers, in which each layer performs some processing on the information from the previous layer. A downside to this approach is that each layer (or module, as multiple modules can…

Machine Learning · Computer Science 2020-10-19 Alex Lamb , Anirudh Goyal , Agnieszka Słowik , Michael Mozer , Philippe Beaudoin , Yoshua Bengio

Associative thinking--the ability to connect seemingly unrelated ideas--is a foundational element of human creativity and problem-solving. This paper explores whether reinforcement learning (RL) guided by associative thinking principles can…

Artificial Intelligence · Computer Science 2025-11-25 Mukul Singh , Ananya Singha , Aishni Parab , Pronita Mehrotra , Sumit Gulwani

Reaction Systems (RSs) are a successful computational framework inspired by biological systems. A RS pairs a set of entities with a set of reactions over them. Entities can be used to enable or inhibit each reaction, and are produced by…

Logic in Computer Science · Computer Science 2020-09-01 Linda Brodo , Roberto Bruni , Moreno Falaschi

We consider a living organism as an observer of the evolution of its environment recording sensory information about the state space X of the environment in real time. Sensory information is sampled and then processed on two levels. On the…

Artificial Intelligence · Computer Science 2010-03-22 Dan Guralnik

Incorporating equivariance to symmetry groups as a constraint during neural network training can improve performance and generalization for tasks exhibiting those symmetries, but such symmetries are often not perfectly nor explicitly…

Machine Learning · Computer Science 2023-02-09 Kaitlin Maile , Dennis G. Wilson , Patrick Forré

Cognition involves dynamic reconfiguration of functional brain networks at sub-second time scale. A precise tracking of these reconfigurations to categorize visual objects remains elusive. Here, we use dense electroencephalography (EEG)…

Neurons and Cognition · Quantitative Biology 2017-06-05 Ahmad Mheich , Mahmoud Hassan , Fabrice Wendling

Neural networks (NNs) whose subnetworks implement reusable functions are expected to offer numerous advantages, including compositionality through efficient recombination of functional building blocks, interpretability, preventing…

Neural and Evolutionary Computing · Computer Science 2021-03-09 Róbert Csordás , Sjoerd van Steenkiste , Jürgen Schmidhuber