English
Related papers

Related papers: BAss: Symbolic Reasoning in Abstract Dialectical F…

200 papers

The complexity of molecular and cellular processes forces experimental studies to focus on subsystems. To study the functioning of biological systems across levels of structural and functional organisation, we require tools to compose and…

Molecular Networks · Quantitative Biology 2026-01-26 Adittya Chaudhuri , Ralf Köhl , Olaf Wolkenhauer

Face recognition remains vulnerable to presentation attacks, calling for robust Face Anti-Spoofing (FAS) solutions. Recent MLLM-based FAS methods reformulate the binary classification task as the generation of brief textual descriptions to…

Computer Vision and Pattern Recognition · Computer Science 2026-03-23 Haoyuan Zhang , Keyao Wang , Guosheng Zhang , Haixiao Yue , Zhiwen Tan , Siran Peng , Tianshuo Zhang , Xiao Tan , Kunbin Chen , Wei He , Jingdong Wang , Ajian Liu , Xiangyu Zhu , Zhen Lei

Alzheimer's disease (AD) diagnosis is complex, requiring the integration of imaging and clinical data for accurate assessment. While deep learning has shown promise in brain MRI analysis, it often functions as a black box, limiting…

Image and Video Processing · Electrical Eng. & Systems 2025-03-04 Yexiao He , Ziyao Wang , Yuning Zhang , Tingting Dan , Tianlong Chen , Guorong Wu , Ang Li

We present a simple and effective scheme for dependency parsing which is based on bidirectional-LSTMs (BiLSTMs). Each sentence token is associated with a BiLSTM vector representing the token in its sentential context, and feature vectors…

Computation and Language · Computer Science 2016-07-21 Eliyahu Kiperwasser , Yoav Goldberg

Automatic speech recognition (ASR) is a capability which enables a program to process human speech into a written form. Recent developments in artificial intelligence (AI) have led to high-accuracy ASR systems based on deep neural networks,…

Audio and Speech Processing · Electrical Eng. & Systems 2021-11-05 Thomas Bohnstingl , Ayush Garg , Stanisław Woźniak , George Saon , Evangelos Eleftheriou , Angeliki Pantazi

Text Normalization and Semantic Parsing have numerous applications in natural language processing, such as natural language programming, paraphrasing, data augmentation, constructing expert systems, text matching, and more. Despite the…

Computation and Language · Computer Science 2024-12-19 Kevin You

We develop the first approximate inference algorithm for 1-Best (and M-Best) decoding in bidirectional neural sequence models by extending Beam Search (BS) to reason about both forward and backward time dependencies. Beam Search (BS) is a…

Computer Vision and Pattern Recognition · Computer Science 2017-05-25 Qing Sun , Stefan Lee , Dhruv Batra

Although preference optimization methods have improved reasoning performance in Large Language Models (LLMs), they often lack transparency regarding why one reasoning outcome is preferred over another. This limitation is especially critical…

Computation and Language · Computer Science 2025-09-30 Jiazheng Li , Yuxiang Zhou , Junru Lu , Gladys Tyen , Lin Gui , Cesare Aloisi , Yulan He

Extraction of latent sources of complex stimuli is critical for making sense of the world. While the brain solves this blind source separation (BSS) problem continuously, its algorithms remain unknown. Previous work on…

Signal Processing · Electrical Eng. & Systems 2022-11-28 Bariscan Bozkurt , Cengiz Pehlevan , Alper T. Erdogan

This paper presents SYMBIOSIS, an AI-powered framework and platform designed to make Systems Thinking accessible for addressing societal challenges and unlock paths for leveraging systems thinking frameworks to improve AI systems. The…

Computers and Society · Computer Science 2025-03-11 Sameer Sethi , Donald Martin , Emmanuel Klu

Scientific discovery increasingly relies on AI systems to select candidates for expensive experimental validation, yet no principled, budget-aware evaluation framework exists for comparing selection strategies -- a gap intensified by large…

Machine Learning · Computer Science 2026-03-16 Abhinaba Basu , Pavan Chakraborty

Different from other deep scalable architecture-based NAS approaches, Broad Neural Architecture Search (BNAS) proposes a broad scalable architecture which consists of convolution and enhancement blocks, dubbed Broad Convolutional Neural…

Computer Vision and Pattern Recognition · Computer Science 2022-08-02 Zixiang Ding , Yaran Chen , Nannan Li , Dongbin Zhao , C. L. Philip Chen

The proliferation of agentic systems has thrust the reasoning capabilities of AI into the forefront of contemporary machine learning. While it is known that there \emph{exist} neural networks which can reason through any Boolean task…

Computational Complexity · Computer Science 2026-02-06 Wenhao Li , Anastasis Kratsios , Hrad Ghoukasian , Dennis Zvigelsky

Accurate parking availability prediction is critical for intelligent transportation systems, but real-world deployments often face data sparsity, noise, and unpredictable changes. Addressing these challenges requires models that are not…

Machine Learning · Computer Science 2026-03-31 Alireza Nezhadettehad , Arkady Zaslavsky , Abdur Rakib , Seng W. Loke

A representation of the cause-effect mechanism is needed to enable artificial intelligence to represent how the world works. Bayesian Networks (BNs) have proven to be an effective and versatile tool for this task. BNs require constructing a…

Artificial Intelligence · Computer Science 2026-03-18 Joverlyn Gaudillo , Nicole Astrologo , Fabio Stella , Enzo Acerbi , Francesco Canonaco

This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable…

Machine Learning · Computer Science 2021-03-02 Muhammad Usman , Yannic Noller , Corina Pasareanu , Youcheng Sun , Divya Gopinath

A recent trend in probabilistic inference emphasizes the codification of models in a formal syntax, with suitable high-level features such as individuals, relations, and connectives, enabling descriptive clarity, succinctness and…

Artificial Intelligence · Computer Science 2016-06-15 Martin Mladenov , Vaishak Belle , Kristian Kersting

Binary Neural Networks (BNNs) have received significant attention due to their promising efficiency. Currently, most BNN studies directly adopt widely-used CNN architectures, which can be suboptimal for BNNs. This paper proposes a novel…

Artificial Intelligence · Computer Science 2021-03-30 Tianchen Zhao , Xuefei Ning , Xiangsheng Shi , Songyi Yang , Shuang Liang , Peng Lei , Jianfei Chen , Huazhong Yang , Yu Wang

Deep learning is bringing remarkable contributions to the field of argumentation mining, but the existing approaches still need to fill the gap toward performing advanced reasoning tasks. In this position paper, we posit that…

Artificial Intelligence · Computer Science 2020-01-29 Andrea Galassi , Kristian Kersting , Marco Lippi , Xiaoting Shao , Paolo Torroni

Recent research efforts aiming to bridge the Neural-Symbolic gap for RDFS reasoning proved empirically that deep learning techniques can be used to learn RDFS inference rules. However, one of their main deficiencies compared to rule-based…

Artificial Intelligence · Computer Science 2020-02-11 Bassem Makni , Ibrahim Abdelaziz , James Hendler