Ruanqianqian Huang

Identifiers

• name variant Ruanqianqian Huang 0.60 · backfill

Papers (4)

1. Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling cs.HC · 2025 · author #1
2. How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities cs.SE · 2025 · author #1
3. Synthesizing Composite Hierarchical Structure from Symbolic Music Corpora cs.AI · 2025 · author #2
4. Validating AI-Generated Code with Live Programming cs.HC · 2023 · author #2

Mentions

• 2502.15849 #2 · arxiv_oai · confidence 0.70 Ruanqianqian Huang
• 2506.08294 #1 · arxiv_oai · confidence 0.70 Ruanqianqian Huang
• 2503.12309 #1 · arxiv_oai · confidence 0.70 Ruanqianqian Huang
• 2306.09541 #2 · arxiv_oai · confidence 0.70 Ruanqianqian Huang

Frequent Coauthors

• Sorin Lerner 4 shared papers
• Ayana Monroe 1 shared papers
• Boyu Tian 1 shared papers
• Cheng-i Wang 1 shared papers
• Hao-Wen Dong 1 shared papers
• Ilana Shapiro 1 shared papers
• Kasra Ferdowsi 1 shared papers
• Michael B. James 1 shared papers
• Michael Coblenz 1 shared papers
• Michael He 1 shared papers
• Nadia Polikarpova 1 shared papers
• Nikolaj Bj{\o}rner 1 shared papers
• Peli de Halleux 1 shared papers
• Savitha Ravi 1 shared papers
• Shlomo Dubnov 1 shared papers
• Taylor Berg-Kirkpatrick 1 shared papers
• Zachary Novack 1 shared papers