Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
Put Names and Dates On Documents
infrequently.org·1d
Follow Up on Notes
kevquirk.com·18h
Move over, DevSecOps: DevEx is the new darling
reversinglabs.com·2d
Audio-Thinker: Guiding Audio Language Model When and How to Think via Reinforcement Learning
arxiv.org·2d
Loading...Loading more...