Updated on 2026.01.30
Usage instructions: here
Formal Methods & Automated Reasoning
| Publish Date | Title | Authors | Code | |
|---|---|---|---|---|
| 2026-01-29 | Beyond Imitation: Reinforcement Learning for Active Latent Planning | Zhi Zheng et.al. | 2601.21598 | null |
| 2026-01-29 | SecIC3: Customizing IC3 for Hardware Security Verification | Qinhan Tan et.al. | 2601.21353 | null |
| 2026-01-29 | Position: Certifiable State Integrity in Cyber-Physical Systems – Why Modular Sovereignty Solves the Plasticity-Stability Paradox | Enzo Nicolás Spotorno et.al. | 2601.21249 | null |
| 2026-01-27 | VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning | Vikash Singh et.al. | 2601.20055 | null |
| 2026-01-27 | Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation | Jiale Liu et.al. | 2601.19747 | null |
| 2026-01-27 | Refactoring and Equivalence in Rust: Expanding the REM Toolchain with a Novel Approach to Automated Equivalence Proofs | Matthew Britton et.al. | 2601.19207 | null |
| 2026-01-27 | The cost of quantum algorithms for biochemistry: A case study in metaphosphate hydrolysis | Ryan LaRose et.al. | 2601.19059 | null |
| 2026-01-28 | Neural Theorem Proving for Verification Conditions: A Real-World Benchmark | Qiyuan Xu et.al. | 2601.18944 | null |
| 2026-01-26 | Algebraic Characterizations of Classes of Regular Languages in DynFO | Corentin Barloy et.al. | 2601.18429 | null |
| 2026-01-24 | Unsupervised sleep-like intra- and inter-layer plasticity categorizes and improves energy efficiency in a multilayer spiking network | Leonardo Tonielli et.al. | 2601.17523 | null |
| 2026-01-24 | LeanTutor: Towards a Verified AI Mathematical Proof Tutor | Manooshree Patel et.al. | 2601.17473 | null |
| 2026-01-24 | TheoremForge: Scaling up Formal Data Synthesis with Low-Budget Agentic Workflow | Yicheng Tao et.al. | 2601.17332 | null |
| 2026-01-23 | A High Performance and Efficient Post-Quantum Crypto-Processor for FrodoKEM | Kai Li et.al. | 2601.16500 | null |
| 2026-01-21 | Testing Deep Learning Libraries via Neurosymbolic Constraint Learning | M M Abid Naziri et.al. | 2601.15493 | null |
| 2026-01-21 | How to Verify a Turing Machine with Dafny | Edgar F. A. Lederer et.al. | 2601.15230 | null |
| 2026-01-21 | Efficient reversal of transductions of sparse graph classes | Jan Dreier et.al. | 2601.14906 | null |
| 2026-01-20 | Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes | Murilo de Souza Neves et.al. | 2601.14427 | null |
| 2026-01-20 | Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition | Rui-Juan Jing et.al. | 2601.13731 | null |
| 2026-01-20 | Foundational VeriFast: Pragmatic Certification of Verification Tool Results through Hinted Mirroring | Bart Jacobs et.al. | 2601.13727 | null |
| 2026-01-19 | Verifying First-Order Temporal Properties of Infinite-State Systems via Timers and Rankings | Raz Lotan et.al. | 2601.13325 | null |
| 2026-01-19 | Verifying Local Robustness of Pruned Safety-Critical Networks | Minh Le et.al. | 2601.13303 | null |
| 2026-01-19 | Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles | João Pascoal Faria et.al. | 2601.12845 | null |
| 2026-01-18 | Blurred Drinker Paradoxes and Blurred Choice Axioms: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem | Dominik Kirst et.al. | 2601.12592 | null |
| 2026-01-16 | Proving Circuit Functional Equivalence in Zero Knowledge | Sirui Shen et.al. | 2601.11173 | null |
| 2026-01-15 | Breaking Up with Normatively Monolithic Agency with GRACE: A Reason-Based Neuro-Symbolic Architecture for Safe and Ethical AI Alignment | Felix Jahn et.al. | 2601.10520 | null |
| 2026-01-14 | On Numbers of Simplicial Walks and Equivalent Canonizations for Graph Recognition | Marek Černý et.al. | 2601.09506 | null |
| 2026-01-14 | Improving Symbolic Translation of Language Models for Logical Reasoning | Ramya Keerthy Thatikonda et.al. | 2601.09446 | null |
| 2026-01-14 | Query Languages for Machine-Learning Models | Martin Grohe et.al. | 2601.09381 | null |
| 2026-01-13 | Imagine-then-Plan: Agent Learning from Adaptive Lookahead with World Models | Youwei Liu et.al. | 2601.08955 | null |
| 2026-01-13 | TerraFormer: Automated Infrastructure-as-Code with LLMs Fine-Tuned via Policy-Guided Verifier Feedback | Prithwish Jana et.al. | 2601.08734 | null |
| 2026-01-13 | Formalization and Implementation of Safe Destination Passing in Pure Functional Programming Settings | Thomas Bagrel et.al. | 2601.08529 | null |
| 2026-01-13 | Do You Understand How I Feel?: Towards Verified Empathy in Therapy Chatbots | Francesco Dettori et.al. | 2601.08477 | null |
| 2026-01-12 | A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems | Samuel I. Akinwande et.al. | 2601.08065 | null |
Symbolic AI & Equation Discovery
| Publish Date | Title | Authors | Code | |
|---|---|---|---|---|
| 2026-01-29 | Integrating prior knowledge in equation discovery: Interpretable symmetry-informed neural networks and symbolic regression via characteristic curves | Federico J. Gonzalez et.al. | 2601.21720 | null |
| 2026-01-29 | KAPSO: A Knowledge-grounded framework for Autonomous Program Synthesis and Optimization | Alireza Nadaf et.al. | 2601.21526 | null |
| 2026-01-29 | Modeling Endogenous Logic: Causal Neuro-Symbolic Reasoning Model for Explainable Multi-Behavior Recommendation | Yuzhe Chen et.al. | 2601.21335 | null |
| 2026-01-28 | An Empirical Investigation of Neural ODEs and Symbolic Regression for Dynamical Systems | Panayiotis Ioannou et.al. | 2601.20637 | null |
| 2026-01-28 | Data-driven sparse identification of vector-borne disease dynamics with memory effects | Dimitri Breda et.al. | 2601.20591 | null |
| 2026-01-27 | FORM Version 5.0 | J. Davies et.al. | 2601.19982 | null |
| 2026-01-27 | ROIDS: Robust Outlier-Aware Informed Down-Sampling | Alina Geiger et.al. | 2601.19477 | null |
| 2026-01-25 | Rigidity-Induced Scaling Laws in Unit Distance Graphs: The Algebraic Collapse of Dense Substructures | Lucas Aloisio et.al. | 2601.18831 | null |
| 2026-01-26 | Capturing P: On the Expressive Power and Efficient Evaluation of Boolean Retrieval | Amir Aavani et.al. | 2601.18747 | null |
| 2026-01-25 | Computing bounded solutions to linear Diophantine equations with the sum of divisors | Max A. Alekseyev et.al. | 2601.17832 | null |
| 2026-01-24 | Faster modular composition using two relation matrices | Vincent Neiger et.al. | 2601.17422 | null |
| 2026-01-23 | Charting the Landscape of Oxygen Ion Conductors: A 60-Year Dataset with Interpretable Regression Models | Seong-Hoon Jang et.al. | 2601.16852 | null |
| 2026-01-22 | Analyzing Neural Network Information Flow Using Differential Geometry | Shuhang Tan et.al. | 2601.16366 | null |
| 2026-01-22 | Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions | Xavier Caruso et.al. | 2601.16105 | null |
| 2026-01-22 | Algebraic Statistics in OSCAR | Tobias Boege et.al. | 2601.15807 | null |
| 2026-01-21 | Decomposing Determinantal Varieties from Statistics via Matroid Theory | Per Alexandersson et.al. | 2601.15128 | null |
| 2026-01-21 | Nonclassical symmetries of polynomial equations and test problems with parameters for computer algebra systems | Inna K. Shingareva et.al. | 2601.14940 | null |
| 2026-01-21 | Diagonals and algebraicity modulo $p$ : a sharper degree bound | Boris Adamczewski et.al. | 2601.14920 | null |
| 2026-01-21 | Beyond Error-Based Optimization: Experience-Driven Symbolic Regression with Goal-Conditioned Reinforcement Learning | Jianwen Sun et.al. | 2601.14693 | null |
| 2026-01-20 | Certified Real Eigenvalue Location | Baran Solmaz et.al. | 2601.14491 | null |
| 2026-01-20 | Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons | Abiola Babatunde et.al. | 2601.14424 | null |
| 2026-01-20 | Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition | Rui-Juan Jing et.al. | 2601.13731 | null |
| 2026-01-20 | Sparse Identification of Nonlinear Distributed-Delay Dynamics via the Linear Chain Trick | Mohammed Alanazi et.al. | 2601.13536 | null |
| 2026-01-16 | A Recovery-Based Error Indicator for Finite Difference Methods | Ferhat Sindy et.al. | 2601.11308 | null |
| 2026-01-15 | ARC Prize 2025: Technical Report | François Chollet et.al. | 2601.10904 | null |
| 2026-01-15 | Breaking Up with Normatively Monolithic Agency with GRACE: A Reason-Based Neuro-Symbolic Architecture for Safe and Ethical AI Alignment | Felix Jahn et.al. | 2601.10520 | null |
| 2026-01-15 | Online identification of nonlinear time-varying systems with uncertain information | He Ren et.al. | 2601.10379 | null |
| 2026-01-14 | Learning Ecological and Epidemic Processes using Neural ODEs, Kolmogorov-Arnold Network ODEs and SINDy | Maria Vasilyeva et.al. | 2601.09811 | null |
| 2026-01-14 | On some Exotic Cylindrical Algebraic Decompositions and Cells | Lucas Michel et.al. | 2601.09795 | null |
| 2026-01-14 | Further results on Minimal and Minimum Cylindrical Algebraic Decompositions | Lucas Michel et.al. | 2601.09548 | null |
| 2026-01-13 | Degree bounds for linear differential equations and recurrences | Louis Gaillard et.al. | 2601.08522 | null |
| 2026-01-13 | A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT) | Zoe Falomir et.al. | 2601.08382 | null |
| 2026-01-12 | Note on Pure D-brane (non–)BPS Black Hole Microstate Counting in Type IIA Superstring Theory | Sourav Maji et.al. | 2601.07927 | null |
LLMs for Mathematics
| Publish Date | Title | Authors | Code | |
|---|---|---|---|---|
| 2026-01-29 | EmboCoach-Bench: Benchmarking AI Agents on Developing Embodied Robots | Zixing Lei et.al. | 2601.21570 | null |
| 2026-01-29 | Finite-size corrections to the crosscap overlap in the two-dimensional Ising model | Yiteng Zhang et.al. | 2601.21502 | null |
| 2026-01-29 | The Path of Least Resistance: Guiding LLM Reasining Trajectories with Prefix Consensus | Ishan Jindal et.al. | 2601.21494 | null |
| 2026-01-29 | Bridging the Arithmetic Gap: The Cognitive Complexity Benchmark and Financial-PoT for Robust Financial Reasoning | Boxiang Zhao et.al. | 2601.21157 | null |
| 2026-01-29 | Nucleon axial-vector form factor and radius from radiatively-corrected antineutrino scattering data | Oleksandr Tomalak et.al. | 2601.21155 | null |
| 2026-01-28 | AI-Augmented Density-Driven Optimal Control (D2OC) for Decentralized Environmental Mapping | Kooktae Lee et.al. | 2601.21126 | null |
| 2026-01-28 | Planner-Auditor Twin: Agentic Discharge Planning with FHIR-Based LLM Planning, Guideline Recall, Optional Caching and Self-Improvement | Kaiyuan Wu et.al. | 2601.21113 | null |
| 2026-01-28 | Solver-in-the-Loop: MDP-Based Benchmarks for Self-Correction and Behavioral Rationality in Operations Research | Ruicheng Ao et.al. | 2601.21008 | null |
| 2026-01-28 | Quantum Memory and Autonomous Computation in Two Dimensions | Gesa Dünnweber et.al. | 2601.20818 | null |
| 2026-01-28 | Decoding $Z_c(4430)$ and $Z_c(4200)$: The role of $P$ -wave charmed mesons | Jian-Bo Cheng et.al. | 2601.20740 | null |
| 2026-01-28 | A Dialectic Pipeline for Improving LLM Robustness | Sara Candussio et.al. | 2601.20659 | null |
| 2026-01-27 | Strong CP and the QCD Axion: Lecture Notes via Effective Field Theory | Francesco Sannino et.al. | 2601.19735 | null |
| 2026-01-27 | Locally Scaled Self-Interaction Corrected Energy Functionals with Complex Optimal Orbitals | Jukka John et.al. | 2601.19692 | null |
| 2026-01-27 | ComAgent: Multi-LLM based Agentic AI Empowered Intelligent Wireless Networks | Haoyun Li et.al. | 2601.19607 | null |
| 2026-01-27 | Spectrum of radiation from global strings and the relic axion density | Richard A. Battye et.al. | 2601.19463 | null |
| 2026-01-27 | Union3.1: Self-consistent Measurements of Host Galaxy Properties for 2000 Type Ia Supernovae | Taylor J. Hoyt et.al. | 2601.19424 | null |
| 2026-01-28 | Thought-Transfer: Indirect Targeted Poisoning Attacks on Chain-of-Thought Reasoning Models | Harsh Chaudhari et.al. | 2601.19061 | null |
| 2026-01-26 | Mixture-Weighted Ensemble Kalman Filter with Quasi-Monte Carlo Transport | Ilja Klebanov et.al. | 2601.18992 | null |
| 2026-01-22 | Grounding Large Language Models in Reaction Knowledge Graphs for Synthesis Retrieval | Olga Bunkova et.al. | 2601.16038 | null |
| 2026-01-22 | Radiative corrections to decays of the 125 GeV Higgs boson in the complex Higgs triplet model | Masashi Aiko et.al. | 2601.15983 | null |
| 2026-01-22 | EvoCUA: Evolving Computer Use Agents via Learning from Scalable Synthetic Experience | Taofeng Xue et.al. | 2601.15876 | null |
| 2026-01-22 | Agentic Uncertainty Quantification | Jiaxin Zhang et.al. | 2601.15703 | null |
| 2026-01-22 | From Passive Metric to Active Signal: The Evolving Role of Uncertainty Quantification in Large Language Models | Jiaxin Zhang et.al. | 2601.15690 | null |
| 2026-01-22 | Towards Reliable Medical LLMs: Benchmarking and Enhancing Confidence Estimation of Large Language Models in Medical Consultation | Zhiyao Ren et.al. | 2601.15645 | null |
| 2026-01-22 | Robust Tool Use via Fission-GRPO: Learning to Recover from Execution Errors | Zhiwei Zhang et.al. | 2601.15625 | null |
| 2026-01-21 | Reliability by design: quantifying and eliminating fabrication risk in LLMs. From generative to consultative AI: a comparative analysis in the legal domain and lessons for high-stakes knowledge bases | Alex Dantart et.al. | 2601.15476 | null |
| 2026-01-21 | Iterative Refinement Improves Compositional Image Generation | Shantanu Jaiswal et.al. | 2601.15286 | null |
| 2026-01-21 | CLEANER: Self-Purified Trajectories Boost Agentic Reinforcement Learning | Tianshi Xu et.al. | 2601.15141 | null |
| 2026-01-16 | The rise and fall of stretched bond errors: Extending the analysis of Perdew-Zunger self-interaction corrections of reaction barrier heights beyond the LSDA | Yashpal Singh et.al. | 2601.11454 | null |
| 2026-01-16 | Neural Chain-of-Thought Search: Searching the Optimal Reasoning Path to Enhance Large Language Models | Guoming Ling et.al. | 2601.11340 | null |
| 2026-01-16 | FAQ: Mitigating Quantization Error via Regenerating Calibration Data with Family-Aware Quantization | Haiyang Xiao et.al. | 2601.11200 | null |
| 2026-01-16 | AI Twin: Enhancing ESL Speaking Practice through AI Self-Clones of a Better Me | Minju Park et.al. | 2601.11103 | null |
| 2026-01-16 | AgencyBench: Benchmarking the Frontiers of Autonomous Agents in 1M-Token Real-World Contexts | Keyu Li et.al. | 2601.11044 | null |
| 2026-01-15 | Exponential gain in clock precision using quantum correlated ticks | Florian Meier et.al. | 2601.10785 | null |
| 2026-01-15 | CURVE: A Benchmark for Cultural and Multilingual Long Video Reasoning | Darshan Singh et.al. | 2601.10649 | null |
| 2026-01-15 | Quantum solver for single-impurity Anderson models with particle-hole symmetry | Mariia Karabin et.al. | 2601.10594 | null |
| 2026-01-15 | Defending Large Language Models Against Jailbreak Attacks via In-Decoding Safety-Awareness Probing | Yinzhi Zhao et.al. | 2601.10543 | null |
| 2026-01-15 | Advanced Manufacturing with Renewable and Bio-based Materials: AI/ML workflows and Process Optimization | Rigoberto Advincula et.al. | 2601.10382 | null |
Geometry, Topology & Graph Theory
| Publish Date | Title | Authors | Code | |
|---|---|---|---|---|
| 2026-01-29 | Lorentz meets Ptolemy | Felix Rott et.al. | 2601.21596 | null |
| 2026-01-29 | Asymptotic Enumeration of Subclasses of Level- $2$ Phylogenetic Networks | Hexuan Liu et.al. | 2601.21578 | null |
| 2026-01-29 | New examples of non-Fourier-Mukai exact functors via non-isomorphic octahedra | Alberto Canonaco et.al. | 2601.21559 | null |
| 2026-01-29 | Opinion Consensus Formation Among Networked Large Language Models | Iris Yazici et.al. | 2601.21540 | null |
| 2026-01-29 | Quantitative versions of Pansu Asymptotic Theorem and of Mitchell Tangent Theorem | Enrico Le Donne et.al. | 2601.21509 | null |
| 2026-01-29 | A note on irreducible slice algebraic sets | Anna Gori et.al. | 2601.21466 | null |
| 2026-01-29 | Classification of low degree del Pezzo orbifolds | Saptarshi Dandapat et.al. | 2601.21456 | null |
| 2026-01-29 | A Rigidity theorem on conformally compact Einstein manifolds in high dimensions | Yuxin Ge et.al. | 2601.21441 | null |
| 2026-01-29 | On transversely holomorphic partially hyperbolic flows | Mounib Abouanass et.al. | 2601.21431 | null |
| 2026-01-29 | Real gamma distribution on analytic bundles of flag varieties | Haoming Wang et.al. | 2601.21304 | null |
| 2026-01-28 | On the pointwise convergence of the number of abelian varieties over $\mathbb{F}_p$ with fixed trace | Zhao Yu Ma et.al. | 2601.20824 | null |
| 2026-01-28 | New Solutions to the $G_2$ Hull-Strominger System via torus fibrations over $K3$ orbifolds | Anna Fino et.al. | 2601.20813 | null |
| 2026-01-28 | Motivic and cohomological stabilisation of the Quot scheme of points | Michele Graffeo et.al. | 2601.20804 | null |
| 2026-01-28 | Jacobi Hamiltonian Integrators: construction and applications | Adérito Araújo et.al. | 2601.20799 | null |
| 2026-01-28 | Cubic fourfolds containing highly singular hyperplane sections | Lisa Marquand et.al. | 2601.20778 | null |
| 2026-01-28 | Geometric purity and the frame of smashing ideals | Juan Omar Gómez et.al. | 2601.20744 | null |
| 2026-01-28 | Toward the noncommutative minimal model program for Fano varieties | Tomohiro Karube et.al. | 2601.20739 | null |
| 2026-01-28 | Structures in topological recursion relations | Felix Janda et.al. | 2601.20673 | null |
| 2026-01-28 | Existence results for Leibenson’s equation on Riemannian manifolds | Philipp Sürig et.al. | 2601.20640 | null |
| 2026-01-28 | Saturation of algebraic surfaces | Agnieszka Bodzenta et.al. | 2601.20621 | null |
| 2026-01-22 | Gauge Theory and Skein Modules | Du Pei et.al. | 2601.16213 | null |
| 2026-01-22 | Gaussian maps on trigonal curves | Antonio Lacopo et.al. | 2601.16183 | null |
| 2026-01-22 | Metric-uniform spectral inequality for the Laplacian on manifolds with bounded sectional curvature | Alix Deleporte et.al. | 2601.16176 | null |
| 2026-01-22 | Equivariant Morse-Bott cohomology through stabilization | Erkao Bao et.al. | 2601.16119 | null |
| 2026-01-22 | The Eisenbud-Goto conjecture for projectively normal varieties with mild singularities | Jong In Han et.al. | 2601.16103 | null |
| 2026-01-22 | On Seshadri constants of adjoint divisors on surfaces and threefolds in arbitrary characteristic | Linus Rösler et.al. | 2601.16094 | null |
| 2026-01-22 | Birational automorphism groups in families of hyper-Kähler manifolds | Francesco Antonio Denisi et.al. | 2601.16090 | null |
| 2026-01-22 | On the Stable Euclidean Distance Degree of Algebraic Layers | Giacomo Graziani et.al. | 2601.16071 | null |
| 2026-01-22 | Characterizations of monadically dependent tree-ordered weakly sparse structures | Hector Buffière et.al. | 2601.16039 | null |
| 2026-01-22 | The T-tensor of spherically symmetric Finsler metrics | Salah G. Elgendi et.al. | 2601.16021 | null |
| 2026-01-16 | Entanglement complexity of spanning pairs of lattice polygons | Ryan Blair et.al. | 2601.11481 | null |
| 2026-01-16 | The resultant divisor is negative | Olivier Benoist et.al. | 2601.11474 | null |
| 2026-01-16 | Finite Index and Do Carmo Question for Constant Mean Curvature Hypersurfaces | Barbara Nelli et.al. | 2601.11456 | null |
| 2026-01-16 | Topology-Guaranteed Image Segmentation: Enforcing Connectivity, Genus, and Width Constraints | Wenxiao Li et.al. | 2601.11409 | null |
| 2026-01-16 | SuPerPoV: Score and evolution of the stratospheric polar vortex via persistent homology | Jake Cordes et.al. | 2601.11386 | null |
| 2026-01-16 | Differential geometry of particle motion in Stokesian regime | Sumedh R. Risbud et.al. | 2601.11377 | null |
| 2026-01-16 | On the sub-Riemannian geometry of the quaternionic Heisenberg group | Joonhyung Kim et.al. | 2601.11312 | null |
| 2026-01-16 | A de Rham weight part of Serre’s conjecture and generalized mod $p$ BGG decompositions | Martin Ortiz et.al. | 2601.11271 | null |
| 2026-01-16 | Theta operators on Hodge type Shimura varieties | Martin Ortiz et.al. | 2601.11260 | null |
| 2026-01-16 | The rank-nullity ring of a matroid | Tara Fife et.al. | 2601.11246 | null |
Combinatorics & Optimization
| Publish Date | Title | Authors | Code | |
|---|---|---|---|---|
| 2026-01-29 | Hierarchical quantum decoders | Nirupam Basak et.al. | 2601.21715 | null |
| 2026-01-29 | Improved Approximations for the Unsplittable Capacitated Vehicle Routing Problem | Jingyang Zhao et.al. | 2601.21660 | null |
| 2026-01-29 | Multi-objective Integer Linear Programming approach for Automatic Software Cognitive Complexity Reduction | Adriana Novoa-Hurtado et.al. | 2601.21565 | null |
| 2026-01-29 | The Paradox of Robustness: Decoupling Rule-Based Logic from Affective Noise in High-Stakes Decision-Making | Jon Chun et.al. | 2601.21439 | null |
| 2026-01-29 | EGAM: Extended Graph Attention Model for Solving Routing Problems | Licheng Wang et.al. | 2601.21281 | null |
| 2026-01-29 | TIDE: Tuning-Integrated Dynamic Evolution for LLM-Based Automated Heuristic Design | Chentong Chen et.al. | 2601.21239 | null |
| 2026-01-29 | Deletion-correcting codes for an adversarial nanopore channel | Huiling Xie et.al. | 2601.21236 | null |
| 2026-01-28 | Snowball: A Scalable All-to-All Ising Machine with Dual-Mode Markov Chain Monte Carlo Spin Selection and Asynchronous Spin Updates for Fast Combinatorial Optimization | Seungki Hong et.al. | 2601.21058 | null |
| 2026-01-28 | Test-Time Adaptation for Unsupervised Combinatorial Optimization | Yiqiao Liao et.al. | 2601.21048 | null |
| 2026-01-28 | Predict-Project-Renoise: Sampling Diffusion Models under Hard Constraints | Omer Rochman-Sharabi et.al. | 2601.21033 | null |
| 2026-01-28 | Agentic Fog: A Policy-driven Framework for Distributed Intelligence in Fog Computing | Saeed Akbar et.al. | 2601.20764 | null |
| 2026-01-28 | Enterprise Resource Planning Using Multi-type Transformers in Ferro-Titanium Industry | Samira Yazdanpourmoghadam et.al. | 2601.20696 | null |
| 2026-01-28 | Drone-Aided Blood Collection Routing Problem: A Column Generation Approach | Amirhossein Abbaszadeh et.al. | 2601.20693 | null |
| 2026-01-28 | Exact Graph Learning via Integer Programming | Lucas Kook et.al. | 2601.20589 | null |
| 2026-01-28 | PathWise: Planning through World Model for Automated Heuristic Design via Self-Evolving LLMs | Oguzhan Gungordu et.al. | 2601.20539 | null |
| 2026-01-28 | On Patterns and Languages in 1-11-Representations of Graphs | Biswajit Das et.al. | 2601.20490 | null |
| 2026-01-28 | Can Continuous-Time Diffusion Models Generate and Solve Globally Constrained Discrete Problems? A Study on Sudoku | Mariia Drozdova et.al. | 2601.20363 | null |
| 2026-01-28 | A Quantum Photonic Approach to Graph Coloring | Jesua Epequin et.al. | 2601.20263 | null |
| 2026-01-28 | Further refinements of Euler-Mahonian statistics for multipermutations | Kaimei Huang et.al. | 2601.20201 | null |
| 2026-01-28 | PASS: Ambiguity Guided Subsets for Scalable Classical and Quantum Constrained Clustering | Pedro Chumpitaz-Flores et.al. | 2601.20157 | null |
| 2026-01-22 | All ascents exponential from valued constraint graphs of pathwidth three | Artem Kaznatcheev et.al. | 2601.16156 | null |
| 2026-01-22 | Fair sampling with temperature-targeted QAOA based on quantum-classical correspondence theory | Tetsuro Abe et.al. | 2601.16144 | null |
| 2026-01-22 | Designing faster mixed integer linear programming algorithm via learning the optimal path | Ruizhi Liu et.al. | 2601.16056 | null |
| 2026-01-22 | Characterizations of monadically dependent tree-ordered weakly sparse structures | Hector Buffière et.al. | 2601.16039 | null |
| 2026-01-22 | Graph Topology Identification Based on Covariance Matching | Yongsheng Han et.al. | 2601.15999 | null |
| 2026-01-22 | Existential Positive Transductions of Sparse Graphs | Nikolas Mählmann et.al. | 2601.15890 | null |
| 2026-01-22 | Improving the efficiency of QAOA using efficient parameter transfer initialization and targeted-single-layer regularized optimization with minimal performance degradation | Shubham Patel et.al. | 2601.15760 | null |
| 2026-01-22 | Enhanced Convergence in p-bit Based Simulated Annealing with Partial Deactivation for Large-Scale Combinatorial Optimization Problems | Naoya Onizawa et.al. | 2601.15561 | null |
| 2026-01-22 | BanditLP: Large-Scale Stochastic Optimization for Personalized Recommendations | Phuc Nguyen et.al. | 2601.15552 | null |
| 2026-01-21 | Check-weight-constrained quantum codes: Bounds and examples | Lily Wang et.al. | 2601.15446 | null |
| 2026-01-16 | On the Virtual Network Embedding polytope | Amal Benhamiche et.al. | 2601.11419 | null |
| 2026-01-16 | New Adaptive Mechanism for Large Neighborhood Search using Dual Actor-Critic | Shaohua Yu et.al. | 2601.11414 | null |
| 2026-01-16 | Hyperparameter Optimization of Constraint Programming Solvers | Hedieh Haddad et.al. | 2601.11389 | null |
| 2026-01-16 | On Known APNs | Valérie Gillot ad Philippe Langevin et.al. | 2601.11247 | null |
| 2026-01-16 | SANOS – Smooth strictly Arbitrage-free Non-parametric Option Surfaces | Hans Buehler et.al. | 2601.11209 | null |
| 2026-01-16 | Vertex ordering characterizations of interval r-graphs | Indrajit Paul et.al. | 2601.11158 | null |
| 2026-01-16 | Bond Polytope under Vertex- and Edge-sums | Petr Kolman et.al. | 2601.11119 | null |
| 2026-01-16 | Modular and Mobile Capacity Planning for Hyperconnected Supply Chain Networks | Xiaoyue Liu et.al. | 2601.11107 | null |
| 2026-01-16 | The Dynamic Team Orienteering Problem in Spatial Crowdsourcing: A Scenario Sampling Approach | Zhibin Wu et.al. | 2601.11010 | null |
| 2026-01-15 | Sustainable Vertical Heterogeneous Networks: A Cell Switching Approach with High Altitude Platform Station | Maryam Salamatmoghadasi et.al. | 2601.10891 | null |
Analysis & PDE Learning
| Publish Date | Title | Authors | Code | |
|---|---|---|---|---|
| 2026-01-29 | A reduced basis method for parabolic PDEs based on a space-time least squares formulation | Michael Hinze et.al. | 2601.21736 | null |
| 2026-01-29 | Formalization of non-Archimedean functional analysis 1: spherically complete spaces | Yijun Yuan et.al. | 2601.21734 | null |
| 2026-01-29 | New inequalities related to sums of $L^p$ functions in connection with Carbery’s problems | Asadollah Aghajani et.al. | 2601.21594 | null |
| 2026-01-29 | Stability analysis of nontrivial stationary solution and constant equilibrium point of reaction-diffusion neural networks with time delays under Dirichlet zero boundary value | Ruofeng Rao et.al. | 2601.21585 | null |
| 2026-01-29 | PINN-based short-term forecasting of fault slip evolution during the 2010 slow slip event in the Bungo Channel, Japan | Masayuki Kano et.al. | 2601.21516 | null |
| 2026-01-29 | Weighted Sobolev Spaces and Distributional Spectral Theory for Generalized Aging Operators via Transmutation Methods | Gustavo Dorrego et.al. | 2601.21497 | null |
| 2026-01-29 | The Daugavet property for Sobolev spaces over the plane | Samir Hamad et.al. | 2601.21486 | null |
| 2026-01-29 | On transversely holomorphic partially hyperbolic flows | Mounib Abouanass et.al. | 2601.21431 | null |
| 2026-01-29 | The full diapason of convergence rates of Birkhoff averages for ergodic flows | I. V. Podvigin et.al. | 2601.21404 | null |
| 2026-01-29 | A simple proof of Sullivan’s complex bounds | Genadi Levin et.al. | 2601.21326 | null |
| 2026-01-28 | A counterexample to the Berger–Coburn conjecture | Sam Looi et.al. | 2601.20859 | null |
| 2026-01-28 | Flexibility of measurable and topological nilfactors in dynamical systems | Seljon Akhmedli et.al. | 2601.20855 | null |
| 2026-01-28 | Supervised Guidance Training for Infinite-Dimensional Diffusion Models | Elizabeth L. Baker et.al. | 2601.20756 | null |
| 2026-01-28 | Completion problem for extension of m- isometric weighted composition operators on directed graphs | V. Devadas et.al. | 2601.20754 | null |
| 2026-01-28 | Adaptive domain decomposition method for time-dependent problems with applications in fluid dynamics | Vit Dolejsi et.al. | 2601.20750 | null |
| 2026-01-28 | Double phase meets Muckenhoupt | Daviti Adamadze et.al. | 2601.20736 | null |
| 2026-01-28 | Divergent Fourier Series with Respect to Biorthonormal Systems in Function Spaces Near $L^1$ | Nikoloz Devdariani et.al. | 2601.20685 | null |
| 2026-01-28 | An Empirical Investigation of Neural ODEs and Symbolic Regression for Dynamical Systems | Panayiotis Ioannou et.al. | 2601.20637 | null |
| 2026-01-28 | On controllability, observability and stabilizability of the heat equation on discrete graphs | Florentin Münch et.al. | 2601.20594 | null |
| 2026-01-28 | Data-driven sparse identification of vector-borne disease dynamics with memory effects | Dimitri Breda et.al. | 2601.20591 | null |
| 2026-01-22 | Ergodic averages for commutative transformations along return times | Sebastián Donoso et.al. | 2601.16188 | null |
| 2026-01-22 | Inversion problem in algebras of integrable functions with summable Fourier transforms | Przemysław Ohrysko et.al. | 2601.16186 | null |
| 2026-01-22 | A general spectral solver for the axisymmetric Jeans equations: fast galaxy modelling with arbitrary anisotropy | Michele Cappellari et.al. | 2601.16179 | null |
| 2026-01-22 | Fixed-point proportion of geometric iterated Galois groups | Jorge Fariña-Asategui et.al. | 2601.16173 | null |
| 2026-01-22 | On the Ginzburg-Landau approximation for quasilinear pattern forming reaction-diffusion-advection systems | Théo Belin et.al. | 2601.16145 | null |
| 2026-01-22 | Pointwise Ergodic Averages Along the Omega Function in Number Fields | Diego Céspedes et.al. | 2601.16136 | null |
| 2026-01-22 | Equivariant Morse-Bott cohomology through stabilization | Erkao Bao et.al. | 2601.16119 | null |
| 2026-01-22 | The Hyperrigidity Conjecture for Spectrahedra | Marcel Scherer et.al. | 2601.16075 | null |
| 2026-01-22 | Physics-Informed Neural Networks for Viscoacoustic Wave Propagation: Forward Modelling, Inversion and Discretization Sensitivity | Chaohua Liang et.al. | 2601.16068 | null |
| 2026-01-22 | A Second-Order Dynamical System for Solving Generalized Inverse Mixed Variational Inequality problems | Nam Van Tran et.al. | 2601.16043 | null |
| 2026-01-16 | A Genetic Algorithm for Generating Extreme Examples in Arithmetic Dynamics | Benjamin Hutz et.al. | 2601.11482 | null |
| 2026-01-16 | The classification of $C(K)$ spaces for countable compacta by positive isomorphisms | Marek Cúth et.al. | 2601.11463 | null |
| 2026-01-16 | Frame eversion and contextual geometric rigidity | Alexandru Chirvasitu et.al. | 2601.11455 | null |
| 2026-01-16 | Forcing and Diagnosing Failure Modes of Fourier Neural Operators Across Diverse PDE Families | Lennon Shikhman et.al. | 2601.11428 | null |
| 2026-01-16 | Topology-Guaranteed Image Segmentation: Enforcing Connectivity, Genus, and Width Constraints | Wenxiao Li et.al. | 2601.11409 | null |
| 2026-01-16 | Solving the Fisher nonlinear differential equations via Physics-Informed Neural Networks: A Comprehensive Retraining Study and Comparative Analysis with the Finite Difference Method | Ahmed Aberqi et.al. | 2601.11406 | null |
| 2026-01-16 | Stability of global wave front sets by perturbations of frames | Chiara Boiti et.al. | 2601.11364 | null |
| 2026-01-16 | Structured Deformations in Linearized Elasticity | Manuel Friedrich et.al. | 2601.11333 | null |
| 2026-01-16 | Second order continuous and discrete dynamical systems for solving inverse quasi-variational inequalities | Pham Viet Hai et.al. | 2601.11300 | null |
| 2026-01-16 | Precompact families of Carathéodory differential equations revisited | Sylvia Novo et.al. | 2601.11274 | null |
Numerical Analysis & Scientific Computing
| Publish Date | Title | Authors | Code | |
|---|---|---|---|---|
| 2026-01-29 | Spectral Gap of Metropolis Algorithms for Non-smooth Distributions under Isoperimetry | Shuigen Liu et.al. | 2601.21763 | null |
| 2026-01-29 | Numerical analysis of a locking-free primal hybrid method for linear elasticity with $H(\mathrm{div})$ -conforming stress recovery | Giovanni Taraschi et.al. | 2601.21635 | null |
| 2026-01-29 | A Unified SPD Token Transformer Framework for EEG Classification: Systematic Comparison of Geometric Embeddings | Chi-Sheng Chen et.al. | 2601.21521 | null |
| 2026-01-29 | Compressed Sensing-Driven Near-Field Localization Exploiting Array of Subarrays | Sai Pavan Deram et.al. | 2601.21481 | null |
| 2026-01-29 | SAGE: Sequence-level Adaptive Gradient Evolution for Generative Recommendation | Yu Xie et.al. | 2601.21452 | null |
| 2026-01-29 | Decentralized Learning with Dynamically Refined Edge Weights: A Data-Dependent Framework | Rongxing Du et.al. | 2601.21355 | null |
| 2026-01-28 | Neural Quantum States in Mixed Precision | Massimo Solinas et.al. | 2601.20782 | null |
| 2026-01-28 | ScaleFree: Dynamic KDE for Multiscale Point Cloud Exploration in VR | Lixiang Zhao et.al. | 2601.20758 | null |
| 2026-01-28 | Pricing Catastrophe: How Extreme Political Shocks Reprice Sovereign Risk, Beliefs, and Growth Expectations | Riste Ichev et.al. | 2601.20724 | null |
| 2026-01-28 | Adaptive Dimension Reduction for Overlapping Group Sparsity | Yifan Bai et.al. | 2601.20697 | null |
| 2026-01-28 | Unconditional full linear convergence and quasi-optimal complexity of smoothed adaptive finite element methods | Philipp Bringmann et.al. | 2601.20677 | null |
| 2026-01-28 | Local convergence analysis of a linearized Alikhanov scheme for the time fractional sine-Gordon equation | Chang Hou et.al. | 2601.20566 | null |
| 2026-01-28 | Convergence Analysis of Randomized Subspace Normalized SGD under Heavy-Tailed Noise | Gaku Omiya et.al. | 2601.20399 | null |
| 2026-01-28 | A novel neural network with predefined-time stability for solving generalized monotone inclusion problems with applications | Nam Van Tran et.al. | 2601.20338 | null |
| 2026-01-28 | Improved Global Landscape Guarantees for Low-rank Factorization in Synchronization | Shuyang Ling et.al. | 2601.20292 | null |
| 2026-01-28 | Error estimates of $hp$ -finite element method for elliptic optimal control problems with robin boundary | Xingyuan Lin et.al. | 2601.20145 | null |
| 2026-01-22 | Adaptive Non-Uniform Sampling of Bandlimited Signals via Algorithm-Encoder Co-Design | Kaluguri Yashaswini et.al. | 2601.15790 | null |
| 2026-01-22 | Inverse Design of Tightly Woven Smart Fabrics | Einav Berin et.al. | 2601.15746 | null |
| 2026-01-22 | Learning Neural Operators from Partial Observations via Latent Autoregressive Modeling | Jingren Hou et.al. | 2601.15547 | null |
| 2026-01-21 | Interaction between cell membranes and protein inclusions in the large-deformation regime | Gaetano Ferraro et.al. | 2601.15477 | null |
| 2026-01-21 | Panther: Faster and Cheaper Computations with Randomized Numerical Linear Algebra | Fahd Seddik et.al. | 2601.15473 | null |
| 2026-01-21 | Check-weight-constrained quantum codes: Bounds and examples | Lily Wang et.al. | 2601.15446 | null |
| 2026-01-21 | Parareal algorithm for coupled elliptic-parabolic problems | Iñigo Jimenez-Ciga et.al. | 2601.15191 | null |
| 2026-01-21 | Generalized preconditioned conjugate gradients for adaptive FEM with optimal complexity | Paula Hilbert et.al. | 2601.14911 | null |
| 2026-01-22 | Adaptive Exponential Integration for Stable Gaussian Mixture Black-Box Variational Inference | Baojun Che et.al. | 2601.14855 | null |
| 2026-01-21 | A Cordes framework for stationary Fokker–Planck–Kolmogorov equations | Timo Sprekeler et.al. | 2601.14548 | null |
| 2026-01-16 | Efficient error estimators for Generalized Nyström | Lorenzo Lazzarino et.al. | 2601.11493 | null |
| 2026-01-16 | Fisher Scoring for Exact Matérn Covariance Estimation through Stable Smoothness Optimization | Yiping Hong et.al. | 2601.11437 | null |
| 2026-01-16 | Solving the Fisher nonlinear differential equations via Physics-Informed Neural Networks: A Comprehensive Retraining Study and Comparative Analysis with the Finite Difference Method | Ahmed Aberqi et.al. | 2601.11406 | null |
| 2026-01-16 | Lattice dynamics and structural phase stability of group IV elemental solids with the r $^2$ SCAN functional | Adonis Haxhijaj et.al. | 2601.11177 | null |
| 2026-01-16 | Mesoscale Modelling of Confined Split-Hopkinson Pressure Bar Tests on Concrete: Effects of Internal Damage and Strain Rates | Qingchen Liu et.al. | 2601.11176 | null |
| 2026-01-16 | B-spline-Based ALE-MFS Framework for Evolving Domains | Muhammad Ammad et.al. | 2601.11041 | null |
| 2026-01-15 | Physically constrained unfolded multi-dimensional OMP for large MIMO systems | Nay Klaimi et.al. | 2601.10771 | null |
| 2026-01-15 | Communication-Efficient and Privacy-Adaptable Mechanism – a Federated Learning Scheme with Convergence Analysis | Chun Hei Michael Shiu et.al. | 2601.10701 | null |
| 2026-01-15 | Optimal error estimates for a discontinuous Galerkin method on curved boundaries with polygonal meshes | Adérito Araújo et.al. | 2601.10474 | null |
| 2026-01-15 | Non-Intrusive Hyperreduction by a Physics-Augmented Neural Network with Second-Order Sobolev Training | Arwed Schütz et.al. | 2601.10442 | null |
Probability, Statistics & Algebra
| Publish Date | Title | Authors | Code | |
|---|---|---|---|---|
| 2026-01-29 | The Classification of Supersingular Elliptic Curves in Characteristic 3 | Alexey Orlov et.al. | 2601.21756 | null |
| 2026-01-29 | Optimal Transport for Time-Varying Multi-Agent Coverage Control | Italo Napolitano et.al. | 2601.21753 | null |
| 2026-01-29 | Formalization of non-Archimedean functional analysis 1: spherically complete spaces | Yijun Yuan et.al. | 2601.21734 | null |
| 2026-01-29 | BAP-SRL: Bayesian Adaptive Priority Safe Reinforcement Learning for Vehicle Motion Planning at Mixed Traffic Intersections | Yuansheng Lian et.al. | 2601.21679 | null |
| 2026-01-29 | Nonhomogeneous boundary condition for spectral non-local operators | Ivan Biočić et.al. | 2601.21674 | null |
| 2026-01-29 | TabClustPFN: A Prior-Fitted Network for Tabular Data Clustering | Tianqi Zhao et.al. | 2601.21656 | null |
| 2026-01-29 | Non-vanishing of central values of L-functions with angular restrictions | Filippo Berta et.al. | 2601.21642 | null |
| 2026-01-29 | Leveraging rapid parameter estimates for efficient gravitational-wave Bayesian inference via posterior repartitioning | Metha Prathaban et.al. | 2601.21630 | null |
| 2026-01-29 | Scalable Power Sampling: Unlocking Efficient, Training-Free Reasoning for LLMs via Distribution Sharpening | Xiaotong Ji et.al. | 2601.21590 | null |
| 2026-01-29 | Explicit Construction of Maass Wave Forms and Their Petersson Inner Products | Daichi Tanaka et.al. | 2601.21588 | null |
| 2026-01-28 | On the pointwise convergence of the number of abelian varieties over $\mathbb{F}_p$ with fixed trace | Zhao Yu Ma et.al. | 2601.20824 | null |
| 2026-01-28 | Neural Quantum States in Mixed Precision | Massimo Solinas et.al. | 2601.20782 | null |
| 2026-01-28 | Refinements of Erdős’s irrationality criterion for certain sparse infinite series | Hajime Kaneko et.al. | 2601.20743 | null |
| 2026-01-28 | A scalable flow-based approach to mitigate topological freezing | Claudio Bonanno et.al. | 2601.20708 | null |
| 2026-01-28 | Optimal Transport Group Counterfactual Explanations | Enrique Valero-Leal et.al. | 2601.20692 | null |
| 2026-01-28 | Properties of a random Cantor set with overlaps | Anna Chiara Lai et.al. | 2601.20644 | null |
| 2026-01-28 | Climates of Terrestrial Exoplanets and Biosignatures | Siddharth Bhatnagar et.al. | 2601.20620 | null |
| 2026-01-28 | WFR-MFM: One-Step Inference for Dynamic Unbalanced Optimal Transport | Xinyu Wang et.al. | 2601.20606 | null |
| 2026-01-28 | CM-liftability of simple superspecial abelian surfaces over prime fields | Hsin-Yi Yang et.al. | 2601.20543 | null |
| 2026-01-28 | A universal construction of $p$ -typical Witt vectors of associative rings | Supriya Pisolkar et.al. | 2601.20536 | null |
| 2026-01-22 | High-resolution neutron diffraction determination of noncollinear antiferromagnetic order in the honeycomb magnetoelectric Fe ${4}$Nb${2}$O$_{9}$ | Raktim Datta et.al. | 2601.16215 | null |
| 2026-01-22 | Cyclic sunspot activity during the first millennium CE as reconstructed from radiocarbon | Ilya Usoskin et.al. | 2601.16203 | null |
| 2026-01-22 | Constraining dark energy models using Jackknife and Bootstrap resampling | Roshna K et.al. | 2601.16197 | null |
| 2026-01-22 | Density-based structural frameworks for prime numbers, prime gaps, and Euler products | Gregorio Vettori et.al. | 2601.16193 | null |
| 2026-01-22 | A general spectral solver for the axisymmetric Jeans equations: fast galaxy modelling with arbitrary anisotropy | Michele Cappellari et.al. | 2601.16179 | null |
| 2026-01-22 | Fixed-point proportion of geometric iterated Galois groups | Jorge Fariña-Asategui et.al. | 2601.16173 | null |
| 2026-01-22 | Maximal toroids and Cartan subgroups of algebraic groups | Damian Sercombe et.al. | 2601.16162 | null |
| 2026-01-22 | Pointwise Ergodic Averages Along the Omega Function in Number Fields | Diego Céspedes et.al. | 2601.16136 | null |
| 2026-01-22 | Quantum Dimension Reduction of Hidden Markov Models | Rishi Sundar et.al. | 2601.16126 | null |
| 2026-01-22 | Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions | Xavier Caruso et.al. | 2601.16105 | null |
| 2026-01-16 | Sumset size races for measurable sets | Melvyn B. Nathanson et.al. | 2601.11490 | null |
| 2026-01-16 | Algorithmic aspects of Newman polynomials and their divisors | Musbahu Idris et.al. | 2601.11486 | null |
| 2026-01-16 | Optimal transport based theory for latent structured models | XuanLong Nguyen et.al. | 2601.11465 | null |
| 2026-01-16 | Pathway to Kondo physics in ytterbium atom chains with repulsive spin impurities | Jeff Maki et.al. | 2601.11449 | null |
| 2026-01-16 | The divisor function along sums of two biquadrates | Wing Hong Leung et.al. | 2601.11392 | null |
| 2026-01-16 | From ABC to Effective Roth and Ridout Constants for Cubic Roots | Karsten Müller et.al. | 2601.11376 | null |
| 2026-01-16 | On the Landen formula for multiple polylogarithms and its $\ell$ -adic Galois analogue | Densuke Shiraishi et.al. | 2601.11304 | null |
| 2026-01-16 | Detection of four cold Jupiters through combined analyses of radial velocity and astrometry data | Yiyun Wu et.al. | 2601.11280 | null |
| 2026-01-16 | A de Rham weight part of Serre’s conjecture and generalized mod $p$ BGG decompositions | Martin Ortiz et.al. | 2601.11271 | null |
| 2026-01-16 | Theta operators on Hodge type Shimura varieties | Martin Ortiz et.al. | 2601.11260 | null |
Discrete Math & Cryptography
| Publish Date | Title | Authors | Code | |
|---|---|---|---|---|
| 2026-01-29 | FIT: Defying Catastrophic Forgetting in Continual LLM Unlearning | Xiaoyu Xu et.al. | 2601.21682 | null |
| 2026-01-29 | Incremental Fingerprinting in an Open World | Loes Kruger et.al. | 2601.21680 | null |
| 2026-01-29 | Authenticated encryption for space telemetry | Andrew Savchenko et.al. | 2601.21657 | null |
| 2026-01-29 | Sampling-Free Privacy Accounting for Matrix Mechanisms under Random Allocation | Jan Schuchardt et.al. | 2601.21636 | null |
| 2026-01-29 | Noise as a Probe: Membership Inference Attacks on Diffusion Models Leveraging Initial Noise | Puwei Lian et.al. | 2601.21628 | null |
| 2026-01-29 | ICL-EVADER: Zero-Query Black-Box Evasion Attacks on In-Context Learning and Their Defenses | Ningyuan He et.al. | 2601.21586 | null |
| 2026-01-29 | On the Adversarial Robustness of Large Vision-Language Models under Visual Token Compression | Xinwei Zhang et.al. | 2601.21531 | null |
| 2026-01-29 | RerouteGuard: Understanding and Mitigating Adversarial Risks for LLM Routing | Wenhui Zhang et.al. | 2601.21380 | null |
| 2026-01-29 | SecIC3: Customizing IC3 for Hardware Security Verification | Qinhan Tan et.al. | 2601.21353 | null |
| 2026-01-29 | QCL-IDS: Quantum Continual Learning for Intrusion Detection with Fidelity-Anchored Stability and Generative Replay | Zirui Zhu et.al. | 2601.21318 | null |
| 2026-01-28 | Decentralized Identity in Practice: Benchmarking Latency, Cost, and Privacy | Abylay Satybaldy et.al. | 2601.20716 | null |
| 2026-01-28 | Supply Chain Insecurity: Exposing Vulnerabilities in iOS Dependency Management Systems | David Schmidt et.al. | 2601.20638 | null |
| 2026-01-28 | /dev/SDB: Software Defined Boot – A novel standard for diskless booting anywhere and everywhere | Aditya Mitra et.al. | 2601.20629 | null |
| 2026-01-28 | IoT Device Identification with Machine Learning: Common Pitfalls and Best Practices | Kahraman Kostas et.al. | 2601.20548 | null |
| 2026-01-28 | TÄMU: Emulating Trusted Applications at the (GlobalPlatform)-API Layer | Philipp Mao et.al. | 2601.20507 | null |
| 2026-01-28 | Fuzzy Private Set Union via Oblivious Key Homomorphic Encryption Retrieval | Jean-Guillaume Dumas et.al. | 2601.20400 | null |
| 2026-01-28 | Towards Quantum-Safe O-RAN – Experimental Evaluation of ML-KEM-Based IPsec on the E2 Interface | Mario Perera et.al. | 2601.20378 | null |
| 2026-01-28 | A High-Performance Fractal Encryption Framework and Modern Innovations for Secure Image Transmission | Sura Khalid Salsal et.al. | 2601.20374 | null |
| 2026-01-28 | LIFT: Byzantine Resilient Hub-Sampling | Mohamed Amine Legheraba et.al. | 2601.20368 | null |
| 2026-01-28 | Multimodal Multi-Agent Ransomware Analysis Using AutoGen | Asifullah Khan et.al. | 2601.20346 | null |
| 2026-01-22 | PAL*M: Property Attestation for Large Generative Models | Prach Chantasantitam et.al. | 2601.16199 | null |
| 2026-01-22 | CONTEX-T: Contextual Privacy Exploitation via Transformer Spectral Analysis for IoT Device Fingerprinting | Nazmul Islam et.al. | 2601.16160 | null |
| 2026-01-22 | All ascents exponential from valued constraint graphs of pathwidth three | Artem Kaznatcheev et.al. | 2601.16156 | null |
| 2026-01-22 | Learning to Watermark in the Latent Space of Generative Models | Sylvestre-Alvise Rebuffi et.al. | 2601.16140 | null |
| 2026-01-22 | DNF formulas are efficiently testable with relative error | Xi Chen et.al. | 2601.16076 | null |
| 2026-01-22 | Introducing the Generative Application Firewall (GAF) | Joan Vendrell Farreny et.al. | 2601.15824 | null |
| 2026-01-22 | FirmReBugger: A Benchmark Framework for Monolithic Firmware Fuzzers | Mathew Duong et.al. | 2601.15774 | null |
| 2026-01-22 | CAFE-GB: Scalable and Stable Feature Selection for Malware Detection via Chunk-wise Aggregated Gradient Boosting | Ajvad Haneef K et.al. | 2601.15754 | null |
| 2026-01-22 | zkFinGPT: Zero-Knowledge Proofs for Financial Generative Pre-trained Transformers | Xiao-Yang Liu et.al. | 2601.15716 | null |
| 2026-01-22 | Balancing Security and Privacy: The Pivotal Role of AI in Modern Healthcare Systems | Binu V P et.al. | 2601.15697 | null |
| 2026-01-16 | IMS: Intelligent Hardware Monitoring System for Secure SoCs | Wadid Foudhaili et.al. | 2601.11447 | null |
| 2026-01-16 | Understanding Help Seeking for Digital Privacy, Safety, and Security | Kurt Thomas et.al. | 2601.11398 | null |
| 2026-01-16 | InterPUF: Distributed Authentication via Physically Unclonable Functions and Multi-party Computation for Reconfigurable Interposers | Ishraq Tashdid et.al. | 2601.11368 | null |
| 2026-01-16 | On Known APNs | Valérie Gillot ad Philippe Langevin et.al. | 2601.11247 | null |
| 2026-01-16 | VidLeaks: Membership Inference Attacks Against Text-to-Video Models | Li Wang et.al. | 2601.11210 | null |
| 2026-01-16 | LoRA as Oracle | Marco Arazzi et.al. | 2601.11207 | null |
| 2026-01-16 | SD-RAG: A Prompt-Injection-Resilient Framework for Selective Disclosure in Retrieval-Augmented Generation | Aiman Al Masoud et.al. | 2601.11199 | null |
| 2026-01-16 | Proving Circuit Functional Equivalence in Zero Knowledge | Sirui Shen et.al. | 2601.11173 | null |
| 2026-01-16 | A Defender-Attacker-Defender Model for Optimizing the Resilience of Hospital Networks to Cyberattacks | Stephan Helfrich et.al. | 2601.11129 | null |
| 2026-01-16 | Differentially Private Subspace Fine-Tuning for Large Language Models | Lele Zheng et.al. | 2601.11113 | null |