Dependent Types, Proof Assistant, Type-driven Development, Verification
Fixed My Date Issue!
theworksofegan.net·7h
[RIDGELINE] Eating Linoliem in Karuizawa
craigmod.com·1d
2025 Week 33
rkrishnan.org·1d
Google's 'AI Overview' Pointed Him to a Customer Number. It Was a Scam
yro.slashdot.org·2h
An Efficient Medical Image Classification Method Based on a Lightweight Improved ConvNeXt-Tiny Architecture
arxiv.org·1h
Toward Needs-Conscious Design: Co-Designing a Human-Centered Framework for AI-Mediated Communication
arxiv.org·1h
Exploring the Equivalence of Closed-Set Generative and Real Data Augmentation in Image Classification
arxiv.org·4d
Multi-head Transformers Provably Learn Symbolic Multi-step Reasoning via Gradient Descent
arxiv.org·6d
A Neurosymbolic Framework for Interpretable Cognitive Attack Detection in Augmented Reality
arxiv.org·4d
Loading...Loading more...