High-speed and ultra-low-power superconductive neuron with ReLU activation
🔧Microcontrollers
Flag this post
How I Leverage LLMs
💎Refinement Types
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.org·2d
⚡Process Calculi
Flag this post
Tackling the Kidnapped Robot Problem via Sparse Feasible Hypothesis Sampling and Reliable Batched Multi-Stage Inference
arxiv.org·2d
🤖Robotics
Flag this post
MaGNet: A Mamba Dual-Hypergraph Network for Stock Prediction via Temporal-Causal and Global Relational Learning
arxiv.org·2d
📚Automata Learning
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·2d
❓Existential Types
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·2d
⏱️Computational Complexity
Flag this post
AI Progress Should Be Measured by Capability-Per-Resource, Not Scale Alone: A Framework for Gradient-Guided Resource Allocation in LLMs
arxiv.org·2d
🎯Hindley-Milner
Flag this post
Open-weight training practices and implications for CoT monitorability
lesswrong.com·2d
🧪Property-Based Testing
Flag this post
Towards Selection of Large Multimodal Models as Engines for Burned-in Protected Health Information Detection in Medical Images
arxiv.org·1d
❓Existential Types
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.org·1d
🔍CBMC
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·1d
🔁Fixed-Point Theory
Flag this post
Power Constrained Nonstationary Bandits with Habituation and Recovery Dynamics
arxiv.org·13h
🩹Self-Healing Systems
Flag this post
EVTAR: End-to-End Try on with Additional Unpaired Visual Reference
arxiv.org·2d
🔢Algebraic Data Types
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Stability of mixed-state phases under weak decoherence
arxiv.org·1d
↔️Bisimilarity
Flag this post
Analysis of Iterative Deblurring: No Explicit Noise
arxiv.org·1d
🔢Matrix Decomposition
Flag this post
Loading...Loading more...