3 years ago340Lamb-SL Midsize Interleaved Bible (Church Bible Publishers)(Nov 11, 2020)KJV Bible Reviewer
2 years agoOpenAI tackles Math - Formal Mathematics Statement Curriculum Learning (Paper Explained)ykilcher
2 years agoFirst Author Interview: AI & formal math (Formal Mathematics Statement Curriculum Learning)ykilcher