Tianyi Liang

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Known people with the same name:

Bibliography

2025

IFDECORATOR: Wrapping Instruction Following Reinforcement Learning with Verifiable Rewards.

[BibT_eX]

[DOI]

CoRR, August, 2025

RouteWinFormer: A Route-Window Transformer for Middle-range Attention in Image Restoration.

[BibT_eX]

[DOI]

CoRR, April, 2025

Consensus Entropy: Harnessing Multi-VLM Agreement for Self-Verifying and Self-Improving OCR.

[BibT_eX]

[DOI]

CoRR, April, 2025

CritiQ: Mining Data Quality Criteria from Human Preferences.

[BibT_eX]

[DOI]

CoRR, February, 2025

CritiQ: Mining Data Quality Criteria from Human Preferences.

[BibT_eX]

[DOI]

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024

GAOKAO-Eval: Does high scores truly reflect strong capabilities in LLMs?

[BibT_eX]

[DOI]

CoRR, 2024

2023

Honoring Heritage, Managing Health: A Mobile Diabetes Self-Management App for Native Americans with Cultural Sensitivity and Local Factors.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium on Computers and Communications, 2023

2022

IEEE-TIP3227814 supplementary data.

[BibT_eX]

[DOI]

Tianyi Liang

Dataset, December, 2022

An Anti-jamming Intelligent Decision-Making Method for Multi-user Communication Based on Deep Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Communication Technology, 2022

Signals of Opportunity Navigation Using LTE Downlink Signals.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Conference on Communication Technology, 2022

2021

Artificial Intelligence-Empowered Chatbot for Effective COVID-19 Information Delivery to Older Adults.

[BibT_eX]

[DOI]

Int. J. E Health Medical Commun., 2021

Research on PDCCH Channel in 5G NR System.

[BibT_eX]

[DOI]

Tianyi Liang

Huijie Zhu

Proceedings of the 2021 International Conference on Networking and Network Applications, 2021

2020

Evaluating Localized MOOCs: The Role of Culture on Interface Design and User Experience.

[BibT_eX]

[DOI]

IEEE Access, 2020

2017

Scaling Up DPLL(T) String Solvers Using Context-Dependent Simplification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

An efficient SMT solver for string constraints.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2016

Efficient solving of string constraints for security analysis.

[BibT_eX]

[DOI]

Proceedings of the Symposium and Bootcamp on the Science of Security, 2016

2015

A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Improved Slope One Collaborative Filtering Predictor Using Fuzzy Clustering.

[BibT_eX]

[DOI]

Proceedings of the Advanced Data Mining and Applications, 9th International Conference, 2013

2012

Exploiting parallelism in the ME calculus.

[BibT_eX]

[DOI]

Tianyi Liang

Cesare Tinelli

Proceedings of the Third Workshop on Practical Aspects of Automated Reasoning, 2012

Tianyi Liang

Known people with the same name:

Bibliography

Loading...