activity
20232026
most citedFine-grained Conversational Decoding via Isotropic and Proximal Search

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

collaborators
Showing cs.ITShow all

1 paper · 1 filter

cs.IT2026

Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search

Shing Yin Wong, Shaocheng Liu, Linqi Song +2

Proving Shannon-type entropy inequalities is a fundamental task in information theory that often requires constructing non-trivial linear combinations of known constraints, which i…