AI tools for Computer Scientists

You open Aristotle and paste in a mathematical proof written in plain English

Autonomous AI agents finally have their own research repository

Hybrid autoregressive diffusion image generator

LLaMA-Factory is an open-source framework for fine-tuning more than 100 large language models and vision-language models.

AutoGen is an open-source framework from Microsoft for building AI agents and multi-agent applications.

AI tool that helps prove mathematical theorems

A training API that hands control of model fine-tuning to researchers while someone else deals with the servers and scaling headaches

llama.cpp is an open-source inference engine that runs large language models and vision-language models on local hardware or in the cloud with minimal setup.

OpenVoice is an open-source instant voice cloning model created by researchers at MIT and Tsinghua University together with MyShell.

Axolotl is a free, open-source tool for fine-tuning large language models.