Trustworthy human-AI collaboration in a live type-theoretic computational commons
Read the original at www.janestreet.com→Original headline: "Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons"
Coverage timeline
- Sep 11, 20:20 UTC Hacker News (AI) lead source Trustworthy Human-AI Collab in a Live Type-Theoretic Computational Commons