Handbook of Satisfiability (2021)
🧮SMT Solvers
Flag this post
H-FA: A Hybrid Floating-Point and Logarithmic Approach to Hardware Accelerated FlashAttention
arxiv.org·1d
⚡Hardware Acceleration
Flag this post
Understanding New-Knowledge-Induced Factual Hallucinations in LLMs: Analysis, Solution, and Interpretation
arxiv.org·20h
💫Effect Systems
Flag this post
ShadowLogic: Backdoors in Any Whitebox LLM
arxiv.org·1d
🛡️AI Security
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Post-Quantum Cryptography Threats
⚛️Quantum Computing
Flag this post
Hypergraph Embedding Optimization for Graph Database Query Acceleration via Differential Evolution
🕸️Graph Databases
Flag this post
Hydra: Dual Exponentiated Memory for Multivariate Time Series Analysis
arxiv.org·1d
📈Time-Series Databases
Flag this post
Language-Enhanced Generative Modeling for PET Synthesis from MRI and Blood Biomarkers
arxiv.org·20h
🔥PyTorch
Flag this post
Redundancy Maximization as a Principle of Associative Memory Learning
arxiv.org·20h
📊Dynamic Programming
Flag this post
New to C, did a string interning library.
⚙️Zig
Flag this post
QuPCG: Quantum Convolutional Neural Network for Detecting Abnormal Patterns in PCG Signals
arxiv.org·20h
⚛️Quantum Computing
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
🎭Program Synthesis
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
🎭Program Synthesis
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
📊Dynamic Programming
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·1d
🔗Graph Algorithms
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·20h
🕸️Mesh Networks
Flag this post
Loading...Loading more...