➗ math - jhcha.oyo · Scour

Evaluation of LLMs for Mathematical Formalization in Lean

💬LLMs Academic

Conditional Random Ordered Transport Spaces

🎲Stochastic Processes Academic

Cubic graphs, $S$-minors and conformal minors

🕸️Graph Theory Academic

When Are Neural Interaction Discoveries Real? Identifiability, Recoverability, and a Pre-Fit Diagnostic

🤖Machine Learning Academic

Proof that the Klein-Gordon type equation with alpha attractor potential has no Liouvillian solution or as a composition of special functions

⚛️Physics Academic

Witness-split + window-cardinality refinement for $r_3(N)$: Architecture, empirical results, and a structural hard pocket

🧮Complexity Theory Academic

Exact output statistics of Icart's encoding in the exceptional \(j=0\) case

📡Information Theory Academic

No-Go Theorem for Gaussian Quantum Repeaters from Fractional Extendibility

📡Information Theory Academic

Every Rank-Two Entangled State is Projectively Steerable

⚛️Quantum Computing Academic

Sequential testing of conditionally constrained hypotheses

📊Bayesian Statistics Academic

The Preisach Extremum Stack is a Shannon-Minimal Sufficient Statistic for Rate-Independent Functionals

🎲Probability Academic

Multiscale POD of Transformer Attention Fields: Scale-Selective Analysis via Morlet Scalogram

⚡Transformers Academic

No-go theorems on simulating uncertainty principle's signatures

⚛️Physics Academic

Smooth Hard-Thresholding for Singular Values with Stein's Unbiased Risk Estimate

👁️Computer Vision Academic

Uncertainty Principles for the Number Theoretic Transform

⚙️Algorithms Academic

A q-Tsallis Safe Approximation for Chance-Constrained Programs

⚡Quantization Academic

Revisiting the shutdown problem

✍️Prompt Engineering Academic

Learning symplectic model reduction based on a approximation theorem of symplectic embeddings

⚛️Physics Academic

On the Duke--Erd\H{o}s--R\"odl Problem at the One-Third Threshold

🕸️Graph Theory Academic

Dead Directions: Geometric Singular Learning

🎲Probability Academic

No more posts from jhcha.oyo's subscribed feeds.

Scour all 25256 feeds Learn more about Feeds

Sign up or log in to see more results

Log in to enable infinite scrolling