Robuta

https://drops.dagstuhl.de/entities/artifact/10.4230/artifacts.27834 RCC-8 as a Benchmark for Diagrammatic Reasoning in Multimodal Foundation Models as a diagrammatic reasoning foundation models rcc benchmark https://spp.gatech.edu/publications/pub/2756 Seeing problems, seeing solutions. Abduction and diagrammatic reasoning in a semiotic theory of... diagrammatic reasoning semiotic theory seeing problems solutions https://chiqp.cs.uchicago.edu/publication/caldwell-2026-tensorrocq/ TensorRocq: Enabling Diagrammatic Reasoning in Rocq | ChiQP Lab diagrammatic reasoning enabling rocq lab