Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Yi-Hao Hu

View on Semantic Scholar

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Aug 2026

Qr-Hint: Formally Verified and AI-Explained SQL Tutoring

Providing effective feedback on SQL queries is a notorious challenge in database education, as "logical bugs" — where a query runs but produces incorrect results — are difficult for automated tools to diagnose. In this demonstration, we present Qr-Hint, a system designed to support debugging for both students and educa...

Zhou-Yi Jiang, Yi-Hao Hu, Amir Gilad et al. · 0 citations
Jul 2026

I-Rex: An Interactive Debugger for SQL

SQL is declarative in nature and rich in its features. Writing semantically correct SQL queries and finding logical bugs in SQL are not easy, even for experienced programmers, who are often used to the mindset of working with general-purpose programming languages (GPLs). While there are many GPL debuggers, SQL debuggin...

Yi-Hao Hu, Zian Chen, Z. Leong et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.