Buchumschlag

Proof mining and probability theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Neri, Morenikeji, Pischke, Nicholas
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic Probability
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Generalized fluctuation bounds for stochastic algorithms in the presence of compactness
von: Neri, Morenikeji, et al.
Veröffentlicht: (2026)

A systematic way of analysing proofs in probability theory
von: Neri, Morenikeji, et al.
Veröffentlicht: (2026)

An abstract effective convergence theorem for stochastic processes, with applications to stochastic approximation
von: Neri, Morenikeji, et al.
Veröffentlicht: (2025)

A quantitative Robbins-Siegmund theorem
von: Neri, Morenikeji, et al.
Veröffentlicht: (2024)

A finitary Kronecker's lemma and large deviations in the Strong Law of Large numbers on Banach spaces
von: Neri, Morenikeji
Veröffentlicht: (2024)

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
von: Neri, Morenikeji, et al.
Veröffentlicht: (2024)

Foundations for conditional probability
von: Mečíř, Ladislav
Veröffentlicht: (2019)

A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
von: Pischke, Nicholas
Veröffentlicht: (2023)

Quantitative Strong Laws of Large Numbers
von: Neri, Morenikeji
Veröffentlicht: (2024)

Compositional imprecise probability
von: Liell-Cock, Jack, et al.
Veröffentlicht: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
von: Ikeda, Mitsumasa, et al.
Veröffentlicht: (2023)

An approximate zero-one law via the Dialectica interpretation
von: Powell, Thomas, et al.
Veröffentlicht: (2025)

Two Agents, One Prompt, and Your Weight
von: Mossel, Elchanan, et al.
Veröffentlicht: (2025)

A very sharp threshold for first order logic distinguishability of random graphs
von: Benjamini, Itai, et al.
Veröffentlicht: (2022)

A logical limit law for the sequential model of preferential attachment graphs
von: Özdemir, Alperen
Veröffentlicht: (2024)

Borel Local Lemma: arbitrary random variables and limited exponential growth
von: Bernshteyn, Anton, et al.
Veröffentlicht: (2024)

Logical limit laws for Mallows random permutations
von: Muller, Tobias, et al.
Veröffentlicht: (2023)

Generic sampling and invariant measures on the space of $k$-uniform hypergraphs
von: Ackerman, Nathanael, et al.
Veröffentlicht: (2025)

A logical approach to concentration
von: Benedikt, Michael, et al.
Veröffentlicht: (2026)

Zeta Functions and the (Linear) Logic of Markov Processes
von: Seiller, Thomas
Veröffentlicht: (2020)

First order complexity of finite random structures
von: Demin, Danila, et al.
Veröffentlicht: (2024)

Advances in Proof-Theoretic Semantics
Veröffentlicht: (2018)

Complexity of inversion of functions on the reals
von: Barmpalias, George, et al.
Veröffentlicht: (2024)

Drawing with Distance
von: Jacobs, Bart
Veröffentlicht: (2024)

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains
von: Mertens, Hannah, et al.
Veröffentlicht: (2024)

Compositional Reasoning for Parametric Probabilistic Automata
von: Mertens, Hannah, et al.
Veröffentlicht: (2025)

On Contextuality as a Feature of Logic and Probability Theory
von: Ellingsen, Ask
Veröffentlicht: (2026)

Conditioning Accept-Desirability models in the context of AGM-like belief change
von: Coussement, Kathelijne, et al.
Veröffentlicht: (2025)

Asymptotic regularity of a generalised stochastic Halpern scheme
von: Pischke, Nicholas, et al.
Veröffentlicht: (2024)

Absolute continuity, supports and idempotent splitting in categorical probability
von: Fritz, Tobias, et al.
Veröffentlicht: (2023)

Separating complexity classes of LCL problems on grids
von: Berlow, Katalin, et al.
Veröffentlicht: (2025)

Avoiding logical strength in real analysis
von: Freund, Anton, et al.
Veröffentlicht: (2026)

Probabilistic consequence relations
von: Égré, Paul, et al.
Veröffentlicht: (2024)

A Categorical Treatment of Open Linear Systems
von: Stein, Dario, et al.
Veröffentlicht: (2024)

Algorithmic Randomness in Continuous-Time Markov Chains
von: Huang, Xiang, et al.
Veröffentlicht: (2019)

Quantifying Information Loss under Coarse-Grained Partitions: A Discrete Framework for Explainable Artificial Intelligence
von: Izumo, Takashi
Veröffentlicht: (2025)

Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets
von: Ackerman, Nathanael L., et al.
Veröffentlicht: (2023)

Reconstruction of finite Quasi-Probability and Probability from Principles: The Role of Syntactic Locality
von: Surace, Jacopo
Veröffentlicht: (2026)

Proofs that Modify Proofs, 1/2
von: Towsner, Henry
Veröffentlicht: (2025)

Intersecting sets in probability spaces and Shelah's classification
von: Chernikov, Artem, et al.
Veröffentlicht: (2024)