TorchLean: Formalizing Neural Networks in Lean (leandojo.org)

Screenshot of leandojo.org: TorchLean: Formalizing Neural Networks in Lean

First screen, captured 7 months ago.

Looks similar

Screenshot of llasatts.github.io: Llasa: Llama-Based Speech Synthesis

Llasa: Llama-Based Speech Synthesis (llasatts.github.io)

156 points by CalmStorm 1 year ago | 18 comments

Screenshot of allenai.github.io: Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs

Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs (allenai.github.io)

82 points by milliondreams 2 years ago | 7 comments

Screenshot of karpathy.ai: Neural Networks: Zero to Hero

Neural Networks: Zero to Hero (karpathy.ai)

546 points by whereistimbo 3 years ago | 64 comments

Course page for Andrej Karpathy's Neural Networks: Zero to Hero, a video series building neural networks from scratch in code up to GPT-style language models.

neural-networks andrej-karpathy language-models backpropagation

Screenshot of arxiv.org: Neural Network Diffusion

Neural Network Diffusion (arxiv.org)

199 points by vagabund 2 years ago | 74 comments

Screenshot of lightning.ai: LoRA from scratch: implementation for LLM finetuning

LoRA from scratch: implementation for LLM finetuning (lightning.ai)

303 points by rasbt 2 years ago | 74 comments

Screenshot of leandojo.org: LeanDojo: Theorem Proving in Lean Using LLMs

LeanDojo: Theorem Proving in Lean Using LLMs (leandojo.org)

155 points by aseg 2 years ago | 46 comments

Looks similar

Llasa: Llama-Based Speech Synthesis(llasatts.github.io)

Lumos: Learning Agents with Unified Data, Modular Design, and Open-Source LLMs(allenai.github.io)

Neural Networks: Zero to Hero(karpathy.ai)

Neural Network Diffusion(arxiv.org)

LoRA from scratch: implementation for LLM finetuning(lightning.ai)

LeanDojo: Theorem Proving in Lean Using LLMs(leandojo.org)