spatial-reasoning topic
Common-Lisp-Tangram-Solver
A Tangram Puzzle Solver in Common Lisp that is capable of solving arbitrary geometric tiling problems. CLIM (Common Lisp Interface Manager) is used for its GUI.
Self-Supervised-SPARE3D
[CVPR 2022] Self-supervised Spatial Reasoning on Multi-View Line Drawings
SPARE3D
[CVPR2020] A Dataset for SPAtial REasoning on Three-View Line Drawings
StepGame
[AAAI 2022] Dataset and pytorch codes for the paper titled "StepGame: A New Benchmark for Robust Multi-Hop Spatial Reasoning in Texts" in AAAI 2022 (Oral)
qualreas
Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.