Curry-Howard, Proposition Types, Constructive Logic, Verification
Pulumi
jmduke.com·23h
Devlog - whats, whys and hows.
mama666.itch.io·1d
Towards Trustworthy Agentic IoEV: AI Agents for Explainable Cyberthreat Mitigation and State Analytics
arxiv.org·19h
FragmentGPT: A Unified GPT Model for Fragment Growing, Linking, and Merging in Molecular Design
arxiv.org·1d
When Inverse Data Outperforms: Exploring the Pitfalls of Mixed Data in Multi-Stage Fine-Tuning
arxiv.org·19h
Perception Before Reasoning: Two-Stage Reinforcement Learning for Visual Reasoning in Vision-Language Models
arxiv.org·19h
Loading...Loading more...