Awesome Logic in Computer Science β€” curated papers, datasets & benchmarks Β· Awesome Computer Vision