We present a unified one-shot coding framework designed for communication and
compression of messages among multiple nodes across a general acyclic noisy network …

We present a versatile automated theorem proving framework capable of automated
discovery, simplification and proofs of inner and outer bounds in network information theory …

This paper shows that many notions in information theory (eg entropy, capacity regions) can
be defined using probabilistic independence alone. We consider the first-order theory of …

A joint source-channel coding (JSCC) scheme based on hybrid digital/analog coding is
proposed for the transmission of correlated sources over discrete-memoryless two-way …

We propose an adaptive lossy joint source-channel coding (JSCC) scheme for sending
correlated sources over two-terminal discrete-memoryless two-way channels (DM-TWCs) …

For any acyclic discrete network (PYi| Xi− 1, Y i− 1) i∈[N], we provide a one-shot
achievability result: For any collection of indices (ai, j) i∈[N], j∈[di] where (ai, j) j∈[di] is a …

Shannon's two-way channels (TWCs) allow two terminals to exchange data streams in a full-
duplex manner and enable interactive adaptive coding to improve transmission reliability …