Jie-Hong Roland Jiang
Scholar

Jie-Hong Roland Jiang

Google Scholar ID: p2V7WagAAAAJ
Professor of Electrical Engineering, National Taiwan University
Formal VerificationLogic SynthesisComputation Models
Google Scholar↗
Citations & Impact
All-time
Citations
3,039
 
H-index
31
 
i10-index
75
 
Publications
20
 
Co-authors
15
list available
Contact
No contact links provided.
Publications
3 items
Neuro-Symbolic Compliance: Integrating LLMS and SMT Solvers for Automated Financial Legal Analysis
2025 2nd IEEE/ACM International Conference on AI-powered Software (AIware) · 2025
Cited
0
Model Counting for Dependency Quantified Boolean Formulas
2025
Cited
0
Enhanced Quantum Circuit Cutting Framework for Sampling Overhead Reduction
2024
Cited
0
Resume (English only)
Co-authors
15 total
Co-author 1
Co-author 1
François Fages
François Fages
Research Director, Inria, Saclay - Ile de France
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Fang Yu
Fang Yu
Associate Professor, Dept. Management Information Systems, National Chengchi University
Satrajit Chatterjee
Satrajit Chatterjee
Google AI
Mikoláš Janota
Mikoláš Janota
CTU Prague
De-An Huang
De-An Huang
Stanford University