Cai, Shaowei
- AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
2024/02/16 by Sun, Yiwen, Ye, Furong, Zhang, Xianyin +4 · 6 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem
2019/06/06 by Peilin Chen, Chen, Peilin, Hai Wan +8 · 2 citations
Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Artificial Intelligence (cs.AI) #Complexity and Algorithms in Graphs #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Optimization and Search Problems #Protein Degradation and Inhibitors #Scheduling and Optimization Algorithms
- DeepSAT: An EDA-Driven Learning Framework for SAT
2022/05/27 by Min Li, Li, Min, Zhengyuan Shi +7 · 3 citations
Computer Science · Materials Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning in Materials Science #Software Engineering Research
- Incremental Satisfiability Modulo Theory for Verification of Deep Neural Networks
2023/02/10 by Yang, Pengfei, Chi, Zhiming, Liu, Zongxin +4 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL)
- Local Search For SMT On Linear and Multilinear Real Arithmetic
2023/03/12 by Li, Bohan, Cai, Shaowei · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Efficient Local Search for Nonlinear Real Arithmetic
2023/11/24 by Zhonghan Wang, Bohua Zhan, Wang, Zhonghan +5 · 1 citation
Mathematics · Computer Science · #Advanced Optimization Algorithms Research #Constraint Satisfaction and Optimization #Metaheuristic Optimization Algorithms Research