4 citations · 6 across the 5 of their papers we have counts for
5 papers
Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
Shuo Yang, Xingwei Lin, Jiachi Chen +5
The rapid advancement of blockchain platforms has significantly accelerated the growth of decentralized applications (DApps). Similar to traditional applications, DApps integrate f…
Toward Intelligent Emergency Control for Large-scale Power Systems: Convergence of Learning, Physics, Computing and Control
Qiuhua Huang, Renke Huang, Tianzhixi Yin +13
This paper has delved into the pressing need for intelligent emergency control in large-scale power systems, which are experiencing significant transformations and are operating cl…
An overview of Web3.0 Technology: Infrastructure, Applications, and Popularity
Renke Huang, Jiachi Chen, Yanlin Wang +2
Web3, the next generation of the Internet, represents a decentralized and democratized web. Although it has garnered significant public interest and found numerous real-world appli…
Leveraging small scale quantum computers with unitarily downfolded Hamiltonians
Renke Huang, Chenyang Li, Francesco A. Evangelista
In this work, we propose a quantum unitary downfolding formalism based on the driven similarity renormalization group (QDSRG) that may be combined with quantum algorithms for both…
Safe Reinforcement Learning for Grid Voltage Control
Thanh Long Vu, Sayak Mukherjee, Renke Huang +1
Under voltage load shedding has been considered as a standard approach to recover the voltage stability of the electric power grid under emergency conditions, yet this scheme usual…