Curry-Howard, Proposition Types, Constructive Logic, Verification
Spec-Driven Development in a Startup
pub.towardsai.net·1d
FragmentGPT: A Unified GPT Model for Fragment Growing, Linking, and Merging in Molecular Design
arxiv.org·2d
When Inverse Data Outperforms: Exploring the Pitfalls of Mixed Data in Multi-Stage Fine-Tuning
arxiv.org·1d
Perception Before Reasoning: Two-Stage Reinforcement Learning for Visual Reasoning in Vision-Language Models
arxiv.org·1d
category-labs/monad
github.com·5h
Loading...Loading more...