Kang Zhao

The Boolean Algebra Logic: The Soundness and Completeness Theorem

2017

A sound and complete Gentzen-typed deduction system is given for a Boolean algebra logic, where the logical connective - is missed and an assignment is a function from the propositional variables to a Boolean algebra. …

A Graphical Model for Topical Impact over Time

2018

After being published, a document, whether it is a research paper or an online post, can make an impact when readers cite, share, or endorse it. A document may not make its greatest impact right …

Consistent Representation Learning for Continual Relation Extraction

2022 · Findings of the Association for Computational Linguistics: ACL 2022

Continual relation extraction (CRE) aims to continuously train a model on data with new relations while avoiding forgetting old ones. Some previous work has proved that storing a few typical samples of old relations and …

SUBLLM: A Novel Efficient Architecture with Token Sequence Subsampling for LLM

2024 · arXiv (Cornell University)

While Large Language Models (LLMs) have achieved remarkable success in various fields, the efficiency of training and inference remains a major challenge. To address this issue, we propose SUBLLM, short for Subsampling-Upsampling-Bypass Large Language Model, …