2 papers
cs.CV2026
Spatial4D-Bench: A Versatile 4D Spatial Intelligence Benchmark
Pan Wang, Yang Liu, Guile Wu +23
4D spatial intelligence involves perceiving and processing how objects move or change over time. Humans naturally possess 4D spatial intelligence, supporting a broad spectrum of sp…
cs.AI2023
Addressing Variable Dependency in GNN-based SAT Solving
Zhiyuan Yan, Min Li, Zhengyuan Shi +3
Boolean satisfiability problem (SAT) is fundamental to many applications. Existing works have used graph neural networks (GNNs) for (approximate) SAT solving. Typical GNN-based end…