BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jason Rute
SearchCollections
Map detail
Jason Rute13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJason RuteAJason RuteResearcherComputable randomness and betting for computable probability spacesWComputable randomness a...preprint / 2015When does randomness come from randomness?WWhen does randomness co...preprint / 2016Proof Artifact Co-training for Theorem Proving with Language ModelsWProof Artifact Co-train...preprint / 2022Van Lambalgen's Theorem for uniformly relative Schnorr and computable randomnessWVan Lambalgen's Theorem...preprint / 2013Oscillation and the mean ergodic theorem for uniformly convex Banach spacesWOscillation and the mea...preprint / 2013Energy randomnessWEnergy randomnesspreprint / 2015Metastable convergence theoremsWMetastable convergence ...preprint / 2011Algorithmic randomness, reverse mathematics, and the dominated convergence theoremWAlgorithmic randomness,...preprint / 2012Algorithmic randomness for Doob's martingale convergence theorem in continuous timeWAlgorithmic randomness ...preprint / 2014Algorithmic randomness and Fourier analysisWAlgorithmic randomness ...preprint / 2016Ministral 3WMinistral 3preprint / 2026A formal proof of the Kepler conjectureWA formal proof of the K...preprint / 2015
Person12 links

Jason Rute

Researcher

PaperComputable randomness and betting for computable probability spacesAuthorship / preprint / 2015PaperWhen does randomness come from randomness?Authorship / preprint / 2016PaperProof Artifact Co-training for Theorem Proving with Language ModelsAuthorship / preprint / 2022PaperVan Lambalgen's Theorem for uniformly relative Schnorr and computable randomnessAuthorship / preprint / 2013PaperOscillation and the mean ergodic theorem for uniformly convex Banach spacesAuthorship / preprint / 2013PaperEnergy randomnessAuthorship / preprint / 2015PaperMetastable convergence theoremsAuthorship / preprint / 2011PaperAlgorithmic randomness, reverse mathematics, and the dominated convergence theoremAuthorship / preprint / 2012

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)