🔷 Lattice Theory - Handler4605 · Scour

Subset Balancing and Generalized Subset Sum via Lattices 🧮Constraint Solvers

arxiv.org·1d

Protected quantum gates using qubit doublons in dynamical optical lattices 🔓Lock-Free Structures

nature.com

·8h

YASA: Scalable Multi-Language Taint Analysis on the Unified AST at Ant Group 📐Formal Methods

lemmy.ml·4d

How I Beat MLX's Softmax with Abstract Algebra ⚡SIMD Optimization

nasser.nz·1d

Multilevel Coset Codes on Lattices 🧩Erasure Coding

arxiv.org·20h

Algebraic Structure Discovery for Real World Combinatorial Optimisation Problems: A General Framework from Abstract Algebra to Quotient Space Learning 🧮Constraint Solvers

arxiv.org·20h

Deterministic Hardness of Approximation For SVP in all Finite $\ell_p$ Norms 🧮SMT Solvers

arxiv.org·5d

QCommute: a tool for symbolic computation of nested commutators in quantum many-body spin-1/2 systems 🧮SMT Solvers

arxiv.org·1d

Adaptive Deformation of Color Code in Square Lattices with Defects ✨Shader Programming

arxiv.org·20h

Zero-Freeness of the Hard-Core Model with Bounded Connective Constant 🕸️Graph Theory

arxiv.org·2d

Typify: A Lightweight Usage-driven Static Analyzer for Precise Python Type Inference λType Theory

arxiv.org·20h

A deterministic multiple-shift lattice algorithm for function approximation in Korobov and half-period Cosine spaces 🧮SMT Solvers

arxiv.org·5d

TypePro: Boosting LLM-Based Type Inference via Inter-Procedural Slicing 📐Formal Methods

arxiv.org·2d

Root lattices and invariant series for plumbed 3-manifolds 🔣Category Theory

arxiv.org·20h

A Multi-Agent Framework for Automated Exploit Generation with Constraint-Guided Comprehension and Reflection 🧮Constraint Solvers

arxiv.org·20h

Hilbert space fragmentation in quantum Ising systems induced by side coupling 🧮SMT Solvers

arxiv.org·2d

Detecting Call Graph Unsoundness without Ground Truth 🌸Bloom Filters

arxiv.org·6d

Gauss law codes and vacuum codes from lattice gauge theories 🧩Erasure Coding

arxiv.org·20h

Cascade of Classical Spin Liquids in a Bilayer Triangular-lattice Antiferromagnet Rb_2Co_2(SeO_3)_3 ✨Shader Programming

arxiv.org·1d

Obfuscating Code Vulnerabilities against Static Analysis in JavaScript Code 🔒Transaction Isolation

arxiv.org·6d

Loading more...