activity
20242026
most citedDualKanbaFormer: An Efficient Selective Sparse Framework for Multimodal Aspect-based Sentiment Analysis

1 citations · 2 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

On Knowledge Compilation For Two-Variable First-Order Logic

Qiaolan Meng, Juhua Pu, Hongting Niu +3

Knowledge compilation transforms logical theories into circuit representations that support efficient reasoning. We study this problem for propositional groundings of FO2, the two-…