← Search

Zhiwei Ye

2 accepted papers

2026

Bridging LLMs and SAT Solving: Automated Evolution of High-Performance Heuristics

IJCAI 2026

Despite decades of intensive research and optimization, modern Boolean Satisfiability (SAT) solvers have reached a plateau where significant performance gains are increasingly difficult to achieve. While Large Language Models (LLMs) have demonstrated remarkable capabilities in pattern recognition an

Cited by 0Scholar
2026

Incomplete Multi-View Unsupervised Federated Feature Selection via Cooperative Particle Swarm Optimization and Tensor-Aligned Learning

AAAI 2026technical

With the widespread adoption of multi-view data in numerous fields, multi-view unsupervised feature selection (MUFS) has made notable strides in both feature pruning and missing-view completion. Nonetheless, existing MUFS methods typically rely on centralized servers, which cannot meet real-world de

Cited by 0SourcePDFScholar