Su, Yuheng

1. The rIC3 Hardware Model Checker
   2025/02/19 by Yi Su, Su, Yuheng, Qiusong Yang +7 · 2 citations
   Computer Science · Engineering · #Cryptographic Implementations and Security #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Radiation Effects in Electronics #Security and Verification in Computing
2. Predicting Lemmas in Generalization of IC3
   2024/11/04 by Yi Su, Su, Yuheng, Qiusong Yang +3 · 1 citation
   Computer Science · Mathematics · #Commutative Algebra and Its Applications #FOS: Computer and information sciences #Polynomial and algebraic computation #Rings, Modules, and Algebras #Software Engineering (cs.SE)
3. Deeply Optimizing the SAT Solver for the IC3 Algorithm
   2025/01/24 by Yi Su, Su, Yuheng, Qiusong Yang +9 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO)