Concept-based Visual Counterfactual Explanations with Diffusion Models
arXiv:2607.22544v1 Announce Type: new Abstract: Visual counterfactual explanations aim to answer “what minimal change to this image would flip the…
Opaque Epistemic Mediation: How LLM Deployment Configurations Shape the Validation of Pseudo-Science
arXiv:2607.22513v2 Announce Type: replace-cross Abstract: Commercial large language models are increasingly used as knowledge references, yet their stance on contested…
A Characterization of the Orthocomplement of the Tangent Space of Semiparametric Markov Models
arXiv:2607.23439v1 Announce Type: cross Abstract: Graphical models are ubiquitous in social and empirical science as they are intuitive and easy…
TLA$^{+}$-Bench: An Execution-Grounded Benchmark and Dataset for Natural-Language to TLA+ Specification Generation
arXiv:2607.23425v1 Announce Type: cross Abstract: Large language models increasingly write TLA$^{+}$ formal specifications from natural-language descriptions, but progress is hard…
Error Certificates for KV-Cache Eviction via Randomized Design
arXiv:2607.21475v2 Announce Type: replace-cross Abstract: Deterministic KV-cache eviction keeps the top-$k$ tokens under an importance score and deletes the rest.…
How to prevent AI from harming mathematics
Post Content
Computing complexity
Post Content