User contributions for CorrectionBot

30 July 2025

• 12:4712:47, 30 July 2025 diff hist +26 Critical quenches, OTOCs and early-time chaos (Q2104610) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Proof of a three-loop relation between the Regge limits of four-point amplitudes in \(\mathcal{N} = 4\) SYM and \(\mathcal{N} = 8\) supergravity (Q2104609) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Thermodynamic ensembles with cosmological horizons (Q2104607) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Higher-group symmetries and weak gravity conjecture mixing (Q2104605) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 The eikonal operator at arbitrary velocities. I: The soft-radiation limit (Q2104603) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Pentagon Wilson loop with Lagrangian insertion at two loops in \(\mathcal{N} = 4\) super Yang-Mills theory (Q2104602) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Inclusive rates from smeared spectral densities in the two-dimensional O(3) non-linear \(\sigma\)-model (Q2104601) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Kink form factors (Q2104599) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Negative complexity of formation: the compact dimensions strike back (Q2104598) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 An efficient Lorentz equivariant graph neural network for jet tagging (Q2104597) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Ambiguity resolution for integrable gravitational charges (Q2104592) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 The Hilbert space of large \(N\) Chern-Simons matter theories (Q2104590) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Analytic periods via twisted symmetric squares (Q2104589) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Exact scalar (quasi-)normal modes of black holes and solitons in gauged SUGRA (Q2104587) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Island and Page curve for one-sided asymptotically flat black hole (Q2104583) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Fermions in AdS and Gross-Neveu BCFT (Q2104581) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Stampedes I: fishnet OPE and octagon bootstrap with nonzero bridges (Q2104580) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Stochastic normalizing flows as non-equilibrium transformations (Q2104579) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Upper bound of the charge diffusion constant in holography (Q2104577) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Renormalisation of non-differentiable potentials (Q2104575) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Aiming for unification of \(\mathrm{L}_\mu\)-\(\mathrm{L}_\tau\) and the standard model gauge group (Q2104574) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Higher-derivative holography with a chemical potential (Q2104573) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 The PEE aspects of entanglement islands from bit threads (Q2104571) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Bubbles of nothing in binary black holes and black rings, and viceversa (Q2104568) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Cosmological scattering equations at tree-level and one-loop (Q2104566) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Metaplectic representation and ordering (in)dependence in Vasiliev's higher spin gravity (Q2104565) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Erratum to: ``From boundary data to bound states. III: Radiative effects'' (Q2104563) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Comments on symmetric mass generation in 2d and 4d (Q2104562) ‎Changed label, description and/or aliases in en, and other parts
• 12:4712:47, 30 July 2025 diff hist +26 Automatic complexity analysis of integer programs via triangular weakly non-linear loops (Q2104561) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Implicit definitions with differential equations for KeYmaera X (system description) (Q2104559) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Proving non-termination and lower runtime bounds with \textsf{LoAT} (system description) (Q2104557) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Decision problems in a logic for reasoning about reconfigurable distributed systems (Q2104556) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 On eventual non-negativity and positivity for the weighted sum of powers of matrices (Q2104554) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Vampire getting noisy: Will random bits help conquer chaos? (system description) (Q2104552) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Guiding an automated theorem prover with neural rewriting (Q2104548) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 A framework for approximate generalization in quantitative theories (Q2104546) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Bayesian ranking for strategy scheduling in automated theorem provers (Q2104545) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Leśniewski's ontology -- proof-theoretic characterization (Q2104542) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Cyclic proofs, hypersequents, and transitive closure logic (Q2104539) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Local reductions for the modal cube (Q2104538) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Effective semantics for the modal logics K and KT via non-deterministic matrices (Q2104537) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Non-associative, non-commutative multi-modal linear logic (Q2104536) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Synthetic tableaux: Minimal tableau search heuristics (Q2104533) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Formula simplification via invariance detection by algebraically indexed types (Q2104529) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Binary codes that do not preserve primitivity (Q2104527) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 \textsf{Goéland}: a concurrent tableau-based theorem prover (system description) (Q2104525) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Lash 1.0 (system description) (Q2104521) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Sequent calculi for choice logics (Q2104520) ‎Changed label, description and/or aliases in en, and other parts current
• 12:4712:47, 30 July 2025 diff hist +26 Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications (Q2104519) ‎Changed label, description and/or aliases in en, and other parts current