Shaocheng Liu

Identifiers

• name variant Shaocheng Liu 0.60 · backfill

Papers (1)

1. Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search cs.IT · 2026 · author #2

Mentions

• 2606.05729 #2 · arxiv_oai · confidence 0.70 Shaocheng Liu

Frequent Coauthors

• Amin Gohari 1 shared papers
• Cheuk Ting Li 1 shared papers
• Linqi Song 1 shared papers
• Shing Yin Wong 1 shared papers