📢 New Series: Neuro-Symbolic Wednesday
📐Linear Algebra
Flag this post
My first fifteen compilers (2019)
⚙️Compiler Design
Flag this post
Enhanced Block Copolymer Lithography via Adaptive Stochastic Gradient Descent and Dynamic Mask Optimization
🔲Cellular Automata
Flag this post
LLM-Centric RAG with Multi-Granular Indexing and Confidence Constraints
arxiv.org·2d
🐫OCaml
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·1d
🎯Hindley-Milner
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·1d
❓Existential Types
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·1d
⏱️Computational Complexity
Flag this post
When One Modality Sabotages the Others: A Diagnostic Lens on Multimodal Reasoning
arxiv.org·7h
🔍CBMC
Flag this post
Towards Selection of Large Multimodal Models as Engines for Burned-in Protected Health Information Detection in Medical Images
arxiv.org·7h
❓Existential Types
Flag this post
Neurosymbolic Deep Learning Semantics
arxiv.org·7h
🔁Fixed-Point Theory
Flag this post
EVTAR: End-to-End Try on with Additional Unpaired Visual Reference
arxiv.org·1d
🔢Algebraic Data Types
Flag this post
Biological Regulatory Network Inference through Circular Causal Structure Learning
arxiv.org·7h
🕸️Graph Theory
Flag this post
Stability of mixed-state phases under weak decoherence
arxiv.org·7h
↔️Bisimilarity
Flag this post
Analysis of Iterative Deblurring: No Explicit Noise
arxiv.org·7h
🔢Matrix Decomposition
Flag this post
Weak-To-Strong Generalization
lesswrong.com·3d
🔤Kleene Algebra
Flag this post
Loading...Loading more...