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.
3 papers
| Title | Authors | Organization | Published | Introduces Models (and artifacts) whose model card or documentation cites this paper — inbound described_by relations. | Datasets | Benchmarks | Code |
|---|---|---|---|---|---|---|---|
| GPU-CFR: 80x Faster Counterfactual Regret Minimization by Compiling the Game to Static Dataflow and CUDA Graph ReplayarXiv:2609.11923cs.DC | Boning Li, Longbo Huang | — | 12 Sept 2026 | — | — | — | — |
| Ceci n'est pas une pipe: AI systems as semantic abstractionsarXiv:2607.09489cs.AI | Jade Alglave, Patrick Cousot | — | 12 Sept 2026 | — | — | — | — |
| Causal Past Logic for Runtime Verification of Distributed LLM Agent WorkflowsarXiv:2605.20923cs.LO | Benedikt Bollig | — | 12 Sept 2026 | — | — | — | — |
3 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.