Skip to content
conftrace_

set theory

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

set cardinality (1) set size logic (1) box embedding (1) cardinality logic (1) presburger arithmetic (1) proof system (1) word embedding (1) boolean algebra (1) representation learning (1)

Papers

Word2Box: Capturing Set-Theoretic Semantics of Words using Box Embeddings ACL 2022 Logics for Sizes with Union or Intersection AAAI 2020