Curry-Howard, Proposition Types, Constructive Logic, Verification
CECT-Mamba: a Hierarchical Contrast-enhanced-aware Model for Pancreatic Tumor Subtyping from Multi-phase CECT
arxiv.orgยท1d
Weโre announcing a major advance in the study of fluid dynamics with AI ๐ง in a joint paper with researchers from @BrownUniversity, @nyuniversity and @Stanford. ...
threadreaderapp.comยท9h
The Intercepted Self: How Generative AI Challenges the Dynamics of the Relational Self
arxiv.orgยท20h
Spec-Driven Development in a Startup
pub.towardsai.netยท2d
Loading...Loading more...