2017Neuron2022Mnemonic Training Reshapes Brain Networks to Support Superior MemoryMartin DreslerWilliam R. Shirer51 72627226 loci Dresler
formalisation Autoformalization Google Yuhuai Wu OpenAI Codex Codex https://arxiv.org/pdf/2205.12615.pdf 12500 ( Python) Archive of Formal Proofs 180mb Codex 0.18% Codex 12500 Isabelle … [+175 chars]
formalisation Autoformalization Google Yuhuai Wu OpenAI Codex Codex https://arxiv.org/pdf/2205.12615.pdf 12500 ( Python) Archive of Formal Proofs 180mb Codex 0.18% Codex 12500 Isabelle … [+175 chars]
