Curry-Howard, Proposition Types, Constructive Logic, Verification
Linkage
11011110.github.ioยท3d
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.eduยท3d
The Intercepted Self: How Generative AI Challenges the Dynamics of the Relational Self
arxiv.orgยท13h
Cross-Domain Misalignment Generalization: Contextual Role Inference
lesswrong.comยท1d
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ยท2h
Loading...Loading more...