ChatGPT plugin for theorem proving in Lean
$ git clone https://github.com/lean-dojo/LeanDojoChatGPT.git▲ +32 ★ this week
FinGPT: Open-Source Financial Large Language Models! Revolutionize 🔥 We release the trained model on HuggingFace.
▲ +2 ★ this week
Prompt Engineering, Generative AI, and LLM Guide by Learn Prompting | Join our discord for the largest Prompt Engineering learning community
▲ +1 ★ this week
Prompt Engineering | Prompt Versioning | Use GPT or other prompt based models to get structured output. Join our discord for Prompt-Engineering, LLMs and other latest research
▲ +2 ★ this week
Self-paced bootcamp on Generative AI. Tutorials on ML fundamentals, Ollama, LLMs, RAGs, LangChain, LangGraph, Fine-tuning, DSPy & AI Agents (CrewAI), (Using ChatGPT, gpt-oss, Claude, Qwen, Gemma, Llama, Gemini)
▲ +1 ★ this week
This repository introduces PIXIU, an open-source resource featuring the first financial large language models (LLMs), instruction tuning data, and evaluation benchmarks to holistically assess financial LLMs. Our goal is to continually push forward the open-source development of financial artificial intelligence (AI).
▲ +1 ★ this week
Build a ChatGPT like LLM from scratch in PyTorch, explained step by step.
Data from GitHub · snapshot Nov 13, 2026