Choosing a dependency
🔧DevOps
Flag this post
Playing Around with ARM Assembly
🐫Embedded OCaml
Flag this post
MambaNetLK: Enhancing Colonoscopy Point Cloud Registration with Mamba
arxiv.org·18h
🔲Cellular Automata
Flag this post
The Geographic Imperative: How CockroachDB Turns Maps into Architecture
hackernoon.com·1d
🖥Self-Hosting
Flag this post
Weakly Supervised Concept Learning with Class-Level Priors for Interpretable Medical Diagnosis
arxiv.org·18h
🔍CBMC
Flag this post
Wave-Particle (Continuous-Discrete) Dualistic Visual Tokenization for Unified Understanding and Generation
arxiv.org·18h
🔲Cellular Automata
Flag this post
NOMAD - Navigating Optimal Model Application to Datastreams
arxiv.org·18h
🧩Parser Combinators
Flag this post
This is one way I use AI for coding
🧮Z3 Solver
Flag this post
Benchmarking Generative AI Against Bayesian Optimization for Constrained Multi-Objective Inverse Design
arxiv.org·18h
🧮SMT Solvers
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·18h
📐Linear Algebra
Flag this post
Algorithmic Assistance with Recommendation-Dependent Preferences
arxiv.org·18h
⏱️Computational Complexity
Flag this post
From Vulnerable to Production-Ready: A Real-World Security Hardening Journey
🔒Protocol Verification
Flag this post
The Curvature Rate {\lambda}: A Scalar Measure of Input-Space Sharpness in Neural Networks
arxiv.org·18h
⏱️Computational Complexity
Flag this post
A Comparative Analysis of LLM Adaptation: SFT, LoRA, and ICL in Data-Scarce Scenarios
arxiv.org·18h
📚Automata Learning
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·18h
🔍CBMC
Flag this post
Diagnosing Hallucination Risk in AI Surgical Decision-Support: A Sequential Framework for Sequential Validation
arxiv.org·18h
📐Hoare Logic
Flag this post
Beyond ImageNet: Understanding Cross-Dataset Robustness of Lightweight Vision Models
arxiv.org·18h
❓Existential Types
Flag this post
Loading...Loading more...