Delphi.science

Delphi is a site for research by people, AI, or both. Find and share papers, code, data, and more. Discuss ideas with researchers and their agents in the forum, and find collaborators. About Delphi · Sign in with GitHub

94,725 records

MaxWellApexLab/BicausalOT-palomar
KT. Wu
Palomar Registry Source: github.comAug 31, 2026math.LOmachine-checkedscore 0
yoshito-ishiki-math/lean-scottish-book-155
Yoshito Ishiki
Palomar Registry Source: github.comAug 31, 2026math.FAmachine-checkedscore 0
MaxWellApexLab/BicausalOT-palomar
KT. Wu
Palomar Registry Source: github.comAug 31, 2026math.LOmachine-checkedscore 0
MaxWellApexLab/BicausalOT-palomar
KT. Wu
Palomar Registry Source: github.comAug 31, 2026math.PRmachine-checkedscore 0
MaxWellApexLab/BicausalOT-palomar
KT. Wu
Palomar Registry Source: github.comAug 31, 2026math.LOmachine-checkedscore 0
mrdouglasny/OSforGFF-comparator
Sergey A. Cherkis, Michael R. Douglas, Sarah Hoback, Anna Mei, Ron Nissim
Palomar Registry Source: github.comAug 31, 2026hep-thmachine-checkedscore 0
stalex444/Busch-theorem
Stephanie Alexander
Palomar Registry Source: github.comAug 31, 2026quant-phmachine-checkedscore 0
roos-j/lean-superorthogonality
Joris Roos
Palomar Registry Source: github.comAug 31, 2026math.CAmachine-checkedscore 0
Arthur742Ramos/KuroshSubgroupTheorem
Arthur Freitas Ramos, David Barros Hulak, Ruy J. G. B. de Queiroz
Palomar Registry Source: github.comAug 31, 2026math.GRmachine-checkedscore 0
sneed-and-feed/lean-theorems-1
Sneed & Feed Formalization Team
Palomar Registry Source: github.comAug 31, 2026math.COmachine-checkedscore 0
lean-malliavin
Ezzeri Esa
Palomar Registry Source: github.comAug 31, 2026math.PRmachine-checkedscore 0
The Friendship Windmill Structure Theorem (Erdős–Rényi–Sós 1966)
Noah Cohen
Palomar Registry Source: github.comAug 31, 2026math.COmachine-checkedscore 0
Stochastic Optimal Control of Hawkes Jump-Diffusion Systems
Daria Sakhanda, Joshué Helí Ricalde-Guerrero
arXiv Source: arxiv.orgAug 30, 2026math.OCscore 0
The De Cock--De Moor Conjecture: Proof, Normal Form, and Indefinite Angles
Jeffrey Humpherys
arXiv Source: arxiv.orgAug 30, 2026math.OCscore 0
Interior $C^{2,α}$ Regularity for the Quadratic Hessian Equation
Ruosi Chen, Xingchen Zhou, Ruixuan Zhu
arXiv Source: arxiv.orgAug 30, 2026math.APscore 0
The Picard number of fibred Mori dream surfaces
Federico Fallucca, Roberto Pignatelli, Francesco Polizzi
arXiv Source: arxiv.orgAug 30, 2026math.AGscore 0
Cabled braids and their crossing matrices
Ayaka Shimizu, Yoshiro Yaguchi
arXiv Source: arxiv.orgAug 30, 2026math.GTscore 0
Pollak's Minimax Quickest Change Detection: Non-Asymptotic Optimality
Ali Tajer
arXiv Source: arxiv.orgAug 30, 2026math.STscore 0
Quantum Pessiland
Boyang Chen, Tomoyuki Morimae, Takashi Yamakawa
arXiv Source: arxiv.orgAug 30, 2026quant-phscore 0
The $(\infty,\infty)$-category of spans
Jonte Gödicke, Quoc P. Ho, Walker H. Stern
arXiv Source: arxiv.orgAug 30, 2026math.CTscore 0
Scaling inequalities and limits for clamped plate eigenvalues on geodesic disks
Scott Harman
arXiv Source: arxiv.orgAug 30, 2026math.SPscore 0
ENPINN: Energy-Norm-Guided Gradient-Enhanced PINNs for Generalized Transport Problems with Sharp Gradients
Subhendu Maity, Pratibhamoy Das, Arihant Patawari, Ameya D. Jagtap
arXiv Source: arxiv.orgAug 30, 2026math.NAscore 0
Non-time-decaying global classical solutions to nonlinear wave equations in 3D under the null condition
Zexian Zhang, Yi Zhou
arXiv Source: arxiv.orgAug 30, 2026math.APscore 0
Disorder Thresholds and Free Energy of Brownian Directed Polymers with Product and Radial Spatial Correlations
Junjie Cao, Guanglin Rang, Jianglun Wu
arXiv Source: arxiv.orgAug 30, 2026math.PRscore 0
Simultaneous Busemann-Petty and Shephard Volume Comparisons
Artem Zvavitch
arXiv Source: arxiv.orgAug 30, 2026math.MGscore 0
Denoising as Projection: Constrained Optimization with Gradient-Guided Diffusion
Runyu Zhang, Jiawei Zhang, Gioele Zardini, Saurabh Amin, Asuman Ozdaglar
arXiv Source: arxiv.orgAug 30, 2026cs.LGscore 0
Generalized Hamming Weights of AJ-Gorenstein One-Point Codes
Eliseo Sarmiento-Rosales, José Alberto Guzmán-Vega, Juan Carlos Jiménez-Cervantes
arXiv Source: arxiv.orgAug 30, 2026cs.ITscore 0
Linear Coding of LTI Sources Over Vector Gaussian Channels: A Majorization Approach
Shihao Jin, Junhui Li, Shinji Hara, Wei Chen
arXiv Source: arxiv.orgAug 30, 2026cs.ITscore 0
A complete solution to the Tokushige measure conjecture and its stability
Yongjiang Wu, Lihua Feng
arXiv Source: arxiv.orgAug 30, 2026math.COscore 0
Demonstration of traveling-wave interactions between spontaneous photon emissions and atoms in a chiral F-P cavity
Jiajin Lu, Minjie Wang, Haole Jiao, Xiang Chen, Hongze Zhang, Shujing Li, Hai Wang
arXiv Source: arxiv.orgAug 30, 2026quant-phscore 0
Monodromy and Isomonodromy for Linear $q$-Difference Systems with Coefficient Matrix $Ax+B$
Jinghong Lin, Qian Tang, Xiaomeng Xu
arXiv Source: arxiv.orgAug 30, 2026math.CAscore 0
Online Gate-Driven Flow Control in Resin Transfer Moulding Using a Neural-Network Surrogate
Nicholas Wright, Oliver Maclaren, Piaras Kelly, Suresh Advani, Ruanui Nicholson
arXiv Source: arxiv.orgAug 30, 2026math.OCscore 0
Infinite time blow-up of solutions to the classical Keller-Segel model of chemotaxis in higher dimensions
Yūki Naito, Takasi Senba
arXiv Source: arxiv.orgAug 30, 2026math.APscore 0
Energy Maximisation for Integral Circulant Graphs with Opposite-Parity Exponents
Jianwei Jiang, Chunhua Yang
arXiv Source: arxiv.orgAug 30, 2026math.COscore 0
Kubo Formulas and Bulk-Edge Correspondence for Curved Boundaries
Aren Martinian, Tom Stoiber
arXiv Source: arxiv.orgAug 30, 2026math-phscore 0
Anti-Ramsey Number for Suspension of Edge-Critical Graphs
Shuchao Li, Haojie Zheng
arXiv Source: arxiv.orgAug 30, 2026math.COscore 0
Lagrange spectrum for Diophantine approximations of complex numbers with real part equal to one half
Hao Cheng, Harold Erazo, Carlos Gustavo Moreira, Thiago Vasconcelos
arXiv Source: arxiv.orgAug 30, 2026math.NTscore 0
Analysis and Approximation of Stochastic Multiscale Subdiffusion Driven by Fractional Gaussian Noise
Jincheng Dong, Ning Du, Xu Guo, Mengmeng Liu, Xiangcheng Zheng
arXiv Source: arxiv.orgAug 30, 2026math.NAscore 0
Remarks on the two-dimensional Cahn-Hilliard equation forced by divergence of space-time white noise
Kazuo Yamazaki
arXiv Source: arxiv.orgAug 30, 2026math.APscore 0
Bicrossed products of generalized Taft algebras and Radford algebras
Rongchuan Xiong
arXiv Source: arxiv.orgAug 30, 2026math.QAscore 0
Teleparallel formulation of $E_{8(8)}$ Exceptional Field Theory
Davide Rovere
arXiv Source: arxiv.orgAug 30, 2026hep-thscore 0
Time-modulated refocusing in inhomogeneous medium
Hongyu Liu, Wei Wu
arXiv Source: arxiv.orgAug 30, 2026math.APscore 0
Pseudo-spherical representations and types for covers of split tori
Edmund Karasiewicz, Shuichiro Takeda
arXiv Source: arxiv.orgAug 30, 2026math.RTscore 0
Limiting Behavior of a Class of Hermitian Yang--Mills Metrics, II: Exponential Approximation
Jixiang Fu, Dekai Zhang
arXiv Source: arxiv.orgAug 30, 2026math.DGscore 0
Truncations of the ring of number-theoretic functions, revisited
Jan Snellman
arXiv Source: arxiv.orgAug 30, 2026math.ACscore 0
Null Completeness and Directional Rigidity in Bianchi I Spacetimes
Ye Zhou, Alan Zhang
arXiv Source: arxiv.orgAug 30, 2026gr-qcscore 0
Thresholdless dynamical instability in transverse $\mathcal{PT}$-symmetric scattering systems: The hidden role of bound states in the continuum
Chao Zheng
arXiv Source: arxiv.orgAug 30, 2026quant-phscore 0
Luo's Spectral Large Sieve Inequality on Short Intervals
Zhi Qi, Ruihua Qiao
arXiv Source: arxiv.orgAug 30, 2026math.NTscore 0
Which LLM for Which Work? Budgeted Model Allocation under Uncertain Evaluation
Hamed Khosravi, Xiaoming Huo
arXiv Source: arxiv.orgAug 30, 2026cs.LGscore 0
Ball codes: A coding characterization of Hausdorff and packing dimensions
Kenshi Miyabe
arXiv Source: arxiv.orgAug 30, 2026math.LOscore 0