中文
相关论文

相关论文: Neuro-symbolic Zero-Shot Code Cloning with Cross-L…

200 篇论文

Prevalent lossy image compression schemes can be divided into: 1) explicit image compression (EIC), including traditional standards and neural end-to-end algorithms; 2) implicit image compression (IIC) based on implicit neural…

计算机视觉与模式识别 · 计算机科学 2024-12-12 Qi Zheng , Haozhi Wang , Zihao Liu , Jiaming Liu , Peiye Liu , Zhijian Hao , Yanheng Lu , Dimin Niu , Jinjia Zhou , Minge Jing , Yibo Fan

Neural networks continue to struggle with compositional generalization, and this issue is exacerbated by a lack of massive pre-training. One successful approach for developing neural systems which exhibit human-like compositional…

人工智能 · 计算机科学 2024-12-19 Paul Soulos , Henry Conklin , Mattia Opper , Paul Smolensky , Jianfeng Gao , Roland Fernandez

Recently, universal neural machine translation (NMT) with shared encoder-decoder gained good performance on zero-shot translation. Unlike universal NMT, jointly trained language-specific encoders-decoders aim to achieve universal…

计算与语言 · 计算机科学 2021-02-15 Junwei Liao , Yu Shi , Ming Gong , Linjun Shou , Hong Qu , Michael Zeng

An interactive instruction following task has been proposed as a benchmark for learning to map natural language instructions and first-person vision into sequences of actions to interact with objects in 3D environments. We found that an…

人工智能 · 计算机科学 2022-11-16 Kazutoshi Shinoda , Yuki Takezawa , Masahiro Suzuki , Yusuke Iwasawa , Yutaka Matsuo

There has been a steadily growing interest in development of novel methods to learn a representation of a given input data and subsequently using them for several downstream tasks. The field of natural language processing has seen a…

编程语言 · 计算机科学 2022-01-25 Ankit Kulshrestha , Vishwas Lele

e use Prolog as a flexible meta-language to provide executable specifications of some fundamental mathematical objects and their transformations. In the process, isomorphisms are unraveled between natural numbers and combinatorial objects…

编程语言 · 计算机科学 2011-12-19 Paul Tarau

We improve zero-shot learning (ZSL) by incorporating common-sense knowledge in DNNs. We propose Common-Sense based Neuro-Symbolic Loss (CSNL) that formulates prior knowledge as novel neuro-symbolic loss functions that regularize…

计算机视觉与模式识别 · 计算机科学 2020-11-24 Karan Sikka , Jihua Huang , Andrew Silberfarb , Prateeth Nayak , Luke Rohrer , Pritish Sahu , John Byrnes , Ajay Divakaran , Richard Rohwer

Neural models and symbolic algorithms have recently been combined for tasks requiring both perception and reasoning. Neural models ground perceptual input into a conceptual vocabulary, on which a classical reasoning algorithm is applied to…

人工智能 · 计算机科学 2021-06-08 Ananye Agarwal , Pradeep Shenoy , Mausam

Zero-shot Composed Image Retrieval (ZS-CIR) aims to retrieve the target image based on a reference image and a text description without requiring in-distribution triplets for training. One prevalent approach follows the vision-language…

计算机视觉与模式识别 · 计算机科学 2025-03-10 Zining Chen , Zhicheng Zhao , Fei Su , Xiaoqin Zhang , Shijian Lu

Despite the recent developments in the field of cross-modal retrieval, there has been less research focusing on low-resource languages due to the lack of manually annotated datasets. In this paper, we propose a noise-robust cross-lingual…

计算机视觉与模式识别 · 计算机科学 2022-08-29 Yabing Wang , Jianfeng Dong , Tianxiang Liang , Minsong Zhang , Rui Cai , Xun Wang

Implicit neural representation (INR) has become the standard approach for arbitrary-scale image super-resolution (ASSR). To date, no empirical study has systematically examined the effectiveness of existing methods, nor investigated the…

计算机视觉与模式识别 · 计算机科学 2026-05-05 Tayyab Nasir , Daochang Liu , Ajmal Mian

Deep reinforcement learning (RL) agents rely on shortcut learning, preventing them from generalizing to slightly different environments. To address this problem, symbolic method, that use object-centric states, have been developed. However,…

人工智能 · 计算机科学 2025-11-04 Nils Grandien , Quentin Delfosse , Kristian Kersting

While experience replay is essential for data efficiency in reinforcement learning (RL), standard methods treat the replay buffer as a passive memory system, prioritizing samples based on numerical prediction errors rather than their…

人工智能 · 计算机科学 2026-05-12 Yanan Xiao , Yixiang Tang , Zechen Feng , Lu Jiang , Minghao Yin , Pengyang Wang

Data-driven methods such as reinforcement and imitation learning have achieved remarkable success in robot autonomy. However, their data-centric nature still hinders them from generalizing well to ever-changing environments. Moreover,…

Large-scale joint training of multimodal models, e.g., CLIP, have demonstrated great performance in many vision-language tasks. However, image-text pairs for pre-training are restricted to the intersection of images and texts, limiting…

计算机视觉与模式识别 · 计算机科学 2023-06-09 Yanan Sun , Zihan Zhong , Qi Fan , Chi-Keung Tang , Yu-Wing Tai

In the ongoing quest for hybridizing discrete reasoning with neural nets, there is an increasing interest in neural architectures that can learn how to solve discrete reasoning or optimization problems from natural inputs, a task that Large…

人工智能 · 计算机科学 2025-12-19 Marianne Defresne , Romain Gambardella , Sophie Barbe , Thomas Schiex

The many-to-many multilingual neural machine translation can be regarded as the process of integrating semantic features from the source sentences and linguistic features from the target sentences. To enhance zero-shot translation, models…

计算与语言 · 计算机科学 2024-08-05 Mengyu Bu , Shuhao Gu , Yang Feng

Large Language Models (LLMs) have demonstrated impressive progress in complex reasoning tasks, largely driven by the Chain-of-Thought (CoT) paradigm, which decomposes difficult problems into intermediate steps. However, CoT reasoning…

符号计算 · 计算机科学 2026-05-26 Rui Wang , Zeming Wei , Yihao Zhang , Xiaokun Luan

Symbolic computation systems suffer from memory inefficiencies due to redundant storage of structurally identical subexpressions, commonly known as expression swell, which degrades performance in both classical computer algebra and emerging…

编程语言 · 计算机科学 2025-10-17 Bowen Zhu , Aayush Sabharwal , Songchen Tan , Yingbo Ma , Alan Edelman , Christopher Rackauckas

A key challenge in deriving unified neural solvers for combinatorial optimization (CO) is efficient generalization of models between a given set of tasks to new tasks not used during the initial training process. To address it, we first…

机器学习 · 计算机科学 2026-03-04 Semih Cantürk , Thomas Sabourin , Frederik Wenkel , Michael Perlmutter , Guy Wolf