research
∙
06/16/2023
Towards an induction principle for nested data types
A well-known problem in the theory of dependent types is how to handle s...
share
research
∙
10/26/2022
Compressing And Debiasing Vision-Language Pre-Trained Models for Visual Question Answering
Despite the excellent performance of large-scale vision-language pre-tra...
research
∙
10/26/2022
Question-Interlocutor Scope Realized Graph Modeling over Key Utterances for Dialogue Reading Comprehension
In this work, we focus on dialogue reading comprehension (DRC), a task e...
research
∙
10/11/2022
A Win-win Deal: Towards Sparse and Robust Pre-trained Language Models
Despite the remarkable success of pre-trained language models (PLMs), th...
research
∙
10/10/2022
Language Prior Is Not the Only Shortcut: A Benchmark for Shortcut Learning in VQA
Visual Question Answering (VQA) models are prone to learn the shortcut s...
research
∙
10/10/2022
Towards Robust Visual Question Answering: Making the Most of Biased Samples via Contrastive Learning
Models for Visual Question Answering (VQA) often rely on the spurious co...
research
∙
05/12/2022
On the Lambek embedding and the category of product-preserving presheaves
It is well-known that the category of presheaf functors is complete and ...
research
∙
05/02/2022
Neutral Utterances are Also Causes: Enhancing Conversational Causal Emotion Entailment with Social Commonsense Knowledge
Conversational Causal Emotion Entailment aims to detect causal utterance...
research
∙
04/27/2022
Proto-Quipper with dynamic lifting
Quipper is a functional programming language for quantum computing. Prot...
research
∙
04/27/2022
A biset-enriched categorical model for Proto-Quipper with dynamic lifting
Quipper and Proto-Quipper are a family of quantum programming languages ...
research
∙
04/24/2022
Learning to Win Lottery Tickets in BERT Transfer via Task-agnostic Mask Training
Recent studies on the lottery ticket hypothesis (LTH) show that pre-trai...
research
∙
06/08/2021
Check It Again: Progressive Visual Question Answering via Visual Entailment
While sophisticated Visual Question Answering models have achieved remar...
research
∙
12/29/2020
A Hierarchical Transformer with Speaker Modeling for Emotion Recognition in Conversation
Emotion Recognition in Conversation (ERC) is a more challenging task tha...
research
∙
12/15/2020
SPOC learner's final grade prediction based on a novel sampling batch normalization embedded neural network method
Recent years have witnessed the rapid growth of Small Private Online Cou...
research
∙
12/03/2020
Learning Disentangled Intent Representations for Zero-shot Intent Detection
Zero-shot intent detection (ZSID) aims to deal with the continuously eme...
research
∙
06/28/2020
A lateral semicircular canal segmentation based geometric calibration for human temporal bone CT Image
Computed Tomography (CT) of the temporal bone has become an important me...
research
∙
05/17/2020
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
We introduce dependently typed Proto-Quipper, or Proto-Quipper-D for sho...
research
∙
04/28/2020
Linear Dependent Type Theory for Quantum Programming Languages
Modern quantum programming languages integrate quantum resources and cla...
research
∙
06/13/2018
Dependently Typed Folds for Nested Data Types
We present an approach to develop folds for nested data types using depe...
research
∙
11/13/2017