Theorem Proving, Gamified Formal Methods, Interactive Verification, Learning Tools
Documents Are People and Words Are Items: A Psychometric Approach to Textual Data with Contextual Embeddings
arxiv.org·4d
Building Conscious* AI: An Illusionist Case
lesswrong.com·5d
Loading...Loading more...