➗ math - jhcha.oyo · Scour

Convex algebras on an interval with semicontinuous monotone operations

♾️Set Theory Academic

𝜇⁢𝜆⁢ϵ⁢𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

💻Programming Languages Academic

arxiv.org··Lobsters

Cyclotomic level maps and associated varieties of simple affine vertex algebras

🔷Category Theory Academic

Post-AGI Economies: Superposition and the Second Fundamental Theorem of Welfare Economics

💹Economics Academic

A Kernel-Clean Lean Mechanization of Classical Lottery in Action and the Wakker--Debreu--Koopmans Representation Layer

⚡Speculative Decoding Academic

Active Learning with Bayesian Reasoning: A POGIL-Based Pedagogy in Introductory Statistics

🎲Probability Academic

Extraction and Search in Rocq: Theorems, Definitions and Their dependencies

🤖Automated Reasoning Academic

Weighted universal approximation of differentiable maps on infinite-dimensional manifolds

🤖AI Academic

Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean

🤖Automated Reasoning Academic

Finite-dimensional pointed Hopf algebras over finite simple groups of Lie type VI. Suzuki and Ree groups

🔷Category Theory Academic

A unified abstract regularity lemma

🔷Category Theory Academic

Pointwise Complexity for Gaussian Fields: Upper Envelopes, Algorithmic Lower Bounds, and Separation

🎲Probability Academic

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization

🤖Automated Reasoning Academic

Asymptotic Optimality of Thompson Sampling for Risk-Averse Bandits with Sub-Gaussian Rewards

⚖️Portfolio Optimization Academic

Uniform central limit theorems for non-stationary processes via relative weak convergence

📊Statistics Academic

Testing Genuine Multipartite Nonlocality via an Inflated Network with Multi-copy Entangled States

⚛️Quantum Computing Academic

BV construction of SUSY vertex algebras from SUSY factorization algebras

🔷Category Theory Academic

Positive Instantial Neighbourhood logic

∀Mathematical Logic Academic

Conditional Random Ordered Transport Spaces

🎲Stochastic Processes Academic

Superconductivity beyond band geometry: emergence of pair quantum geometry

⚛️Quantum Computing Academic

Sign up or log in to see more results

Log in to enable infinite scrolling