Research
Papers
Publications linked to models, labs and benchmarks. Authors, venues and abstracts come from arXiv and publisher pages; model links come from model cards citing the paper.
4 papers
| Title | Authors | Organization | Published | Introduces Models (and artifacts) whose model card or documentation cites this paper — inbound described_by relations. | Datasets | Benchmarks | Code |
|---|---|---|---|---|---|---|---|
| The Semantic Elevation Operator and the Closure of the Undecidable Class under PreservationarXiv:2609.11326cs.LO | Jose Pascual Gumbau Mezquita | — | 12 Sept 2026 | — | — | — | — |
| Monadic Second-Order Logic in HOL: Deep and Shallow with Automated Faithfulness (Extended Preprint)arXiv:2609.07345cs.LO | Christoph Benzmueller, Daniel Kirchner | — | 12 Sept 2026 | — | — | — | — |
| Diversity of EML-type operatorsarXiv:2609.11210cs.SC | Andrzej Odrzywo{\l}ek | — | 11 Sept 2026 | — | — | — | — |
| Quantifying Logical Consistency in Transformers via Query-Key AlignmentarXiv:2502.17017cs.CL | Eduard Tulchinskii, Anastasia Voznyuk, Laida Kushnareva +2 | — | 11 Sept 2026 | — | — | — | — |
4 results
Author lists and categories are copied from the paper's own metadata (arXiv, publisher). Linked models, datasets, benchmarks and code come from stated relations only; a dash means no source stated one.