Curry-Howard, Proposition Types, Constructive Logic, Verification
Devlog - whats, whys and hows.
mama666.itch.ioยท1d
well-typed/haskell-debugger
github.comยท22h
Perception Before Reasoning: Two-Stage Reinforcement Learning for Visual Reasoning in Vision-Language Models
arxiv.orgยท21h
CECT-Mamba: a Hierarchical Contrast-enhanced-aware Model for Pancreatic Tumor Subtyping from Multi-phase CECT
arxiv.orgยท21h
Loading...Loading more...