Back to projects
AI & ML
LeanGPT by RiccardoBiosas
Experiments with interactive theorem provers, LLMs and formal systems. Maintained by RiccardoBiosas on GitHub, where it has earned 24 stars from the community.
RiccardoBiosas
Maintainer
24 stars
More LangChain projects
AI & ML
The framework to take LLMs out of the box. Learn to use LangChain to call LLMs into new environments, and use memories, chains, and agents to take on new and complex tasks. Maintained by ArslanKAS on GitHub, where it has earned 32 stars from the community.
A
2y agoAI & ML
ChatDataExpert. Maintained by vermilion-bird on GitHub, where it has earned 24 stars from the community.
V
3y agoAI & ML
Welcome to the RAG University repository! This repository contains code implementations for Retrieval-Augmented Generation (RAG) models, specifically designed for Language Model (LM) tasks. RAG models combine the strengths of both retrieval and generation approaches, enhancing the capabilities of LLMs. Maintained by machinelearningzuu on GitHub, where it has earned 23 stars from the community.
M
2y ago