🔢 Math - Nakeddave02 · Scour

🤖Cy_Borg arXiv·

Hopf bimodules for bialgebroids

🤖Machine Learning arXiv·

The Algebra of Units: From Buckingham's Pi-grec Theorem to Latent-Variable Learning

🕸️Graph Theory arXiv·

Analytic Conformal Blocks of $C_2$-cofinite Vertex Operator Algebras I: Propagation and Dual Fusion Products

✅Formal Methods arXiv·

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus

Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation

🧮Algorithms arXiv·

Certified Euclidean-Residue Minimal-Alignment Switch Decompositions for Three Edge-Disjoint Hamiltonian Cycles in Eisenstein--Jacobi Networks

🕸️Graph Theory arXiv·

Mixed Floquet Lattice model for gapless topology

The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements

PANDA: An LLM-Enhanced Performance-Driven Analog Design Framework Bridging Design Intent and Layout Generation

💻Computer Science arXiv·

Odds Law: The Decomposition Algebra On How Intelligence Organizes Itself to Solve Difficult Problems Reliably

♟️Game Theory arXiv·

EconCSLib: A Lean Library for Computational Economics and AI-Assisted Research

⚛️Physics arXiv·

Topology of Bloch Bands from Cauchy Data

🧬Computational Biology arXiv·

AoiZora: Topology-Aware Auto-Parallel Optimization for Inference of Diffusion Transformers

🗂️Data Structures arXiv·

Structured lattices and their applications to security

⚛️Quantum Computing arXiv·

Phase controlled spectral topology, dynamic stability and sensitivity in Non-Hermitian Cavity Magnonics

🤖LLMs arXiv·

SMGFM: Spectral Multimodal Graph Pretraining for Multimodal-Attributed Graphs

🕸️Graph Theory arXiv·

Kauffman bracket skein homology from Heegaard splittings

🧮Algorithms arXiv·

SILAGE: Memory-Efficient, Full-Gradient-Free Nonconvex Optimization for Nested Finite Sums

ReMP: Low-Downtime Runtime Model-Parallelism Reconfiguration for LLM Serving

📊Statistics arXiv·

A Polyak-Ruppert Central Limit Theorem for SA-Adam with Momentum and Non-Convergent Adaptive Preconditioning

Log in to enable infinite scrolling