2AI, Human Cognition and Knowledge Collapse (NBER Working Paper) (opens in new tab)(nber.org)1imakwana16d ago0
3Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification (opens in new tab)(cacm.acm.org)1imakwana1mo ago0
5Propose, Solve, Verify: Self-Play Through Formal Verification (opens in new tab)(arxiv.org)2imakwana2mo ago0
6Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper) (opens in new tab)(nber.org)1imakwana3mo ago0
7Open-Source Hardware: curated list of open-source ASIC tools and designs (opens in new tab)(github.com)12imakwana5mo ago3
9Model Checking Boot Code from AWS Data Centers (2018) [pdf] (opens in new tab)(kroening.com)1imakwana5mo ago0
10MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures (opens in new tab)(csg.csail.mit.edu)3imakwana7mo ago0
12The effect of deactivating Facebook and Instagram on users' emotional state (opens in new tab)(nber.org)506imakwana11mo ago497
13MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks (opens in new tab)(shd.mit.edu)255imakwana11mo ago19
15Why exercise may never be effective medicine in the treatment of type-2 diabetes (opens in new tab)(pubmed.ncbi.nlm.nih.gov)2imakwana1y ago1