3Propositional logic exercises with the lean theorem prover (opens in new tab)(github.com)54mathematically4y ago8
4Every Model Learned by Gradient Descent Is Approximately a Kernel Machine (opens in new tab)(medium.com)13mathematically4y ago0
5Knowledge does not protect against illusory truth (opens in new tab)(psycnet.apa.org)2mathematically4y ago0
9Conspiracy Theories: Evolved Functions and Psychological Mechanisms (opens in new tab)(firebasestorage.googleapis.com)3mathematically4y ago0
