Curry-Howard, Proposition Types, Constructive Logic, Verification
Devlog - whats, whys and hows.
mama666.itch.ioยท1d
The Intercepted Self: How Generative AI Challenges the Dynamics of the Relational Self
arxiv.orgยท49m
Cross-Domain Misalignment Generalization: Contextual Role Inference
lesswrong.comยท17h
A Graph Machine Learning Approach for Detecting Topological Patterns in Transactional Graphs
arxiv.orgยท1d
Loading...Loading more...