TY  - RPRT
TI  - Automated Proving of Shannon-Type Entropy Inequalities via Fine-Tuned Language Models and Guided Tree Search
AU  - Shing Yin Wong
AU  - Shaocheng Liu
AU  - Linqi Song
AU  - Amin Gohari
AU  - Cheuk Ting Li
PY  - 2026
UR  - https://arxiv.org/abs/2606.05729
ID  - 2606.05729
ER  -