Domain Theory, Fixed Points, Continuations, Program Equivalence
Proof-Carrying Numbers (PCN): A Protocol for Trustworthy Numeric Answers from LLMs via Claim Verification
arxiv.org·2d
QCSE: A Pretrained Quantum Context-Sensitive Word Embedding for Natural Language Processing
arxiv.org·2d
The networkist approach
lesswrong.com·4d
Loading...Loading more...