Lists (16)
Stars
An Open-Ended Embodied Agent with Large Language Models
sources for the Singular computer algebra system
DeerFlow is a community-driven framework for deep research, combining language models with tools like web search, crawling, and Python execution, while contributing back to the open-source community.
Code to automatically prove or verify estimates in analysis
Official Repository of Absolute Zero Reasoner
FULL v0, Cursor, Manus, Same.dev, Lovable, Devin, Replit Agent, Windsurf Agent & VSCode Agent (And other Open Sourced) System Prompts, Tools & AI Models.
This is the repository that contains the source code for the Self-Evaluation Guided MCTS for online DPO.
LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously lear…
Repo for Rho-1: Token-level Data Selection & Selective Pretraining of LLMs.
A Personal Assistant leveraging Retrieval-Augmented Generation (RAG) and the LLaMA-3.1-8B-Instant Large Language Model (LLM). This tool is designed to revolutionize PDF document analysis tasks by c…
A custom GPT based on [Zero To Hero](https://karpathy.ai/zero-to-hero.html) utilizing tiktoken with the intent to augment AI Transformer-model education and reverse engineer GPT models from scratch.
A fork of Anthropic Computer Use that you can run on Mac computers to give Claude and other AI models autonomous access to your computer.
📃 A better UX for chat, writing content, and coding with LLMs.
o1-engineer is a command-line tool designed to assist developers in managing and interacting with their projects efficiently. Leveraging the power of OpenAI's API, this tool provides functionalitie…
High accuracy RAG for answering questions from scientific documents with citations
Helper toolkit for creating your own Lean 4 UserWidgets
A pandoc LaTeX template to convert markdown files to PDF or LaTeX.
MemFree - Hybrid AI Search Engine & AI Page Generator
LlamaIndex is the leading framework for building LLM-powered agents over your data.
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
A series of math-specific large language models of our Qwen2 series.
Open Source research tool to search, browse, analyze and explore large document collections by Semantic Search Engine and Open Source Text Mining & Text Analytics platform (Integrates ETL for docum…