dspy-lean-prover-hint-clipping

Qlib is an AI-oriented quantitative investment platform that aims to realize the potential, empower research, and create value using AI technologies in quantitative investment, from exploring ideas to implementing productions. Qlib supports diverse machine learning modeling paradigms. including supervised learning, market dynamics modeling, and RL.

Label Studio is a multi-type data labeling and annotation tool with standardized output format

pix2tex: Using a ViT to convert images of equations into LaTeX code.

Annotate better with CVAT, the industry-leading data engine for machine learning. Used and trusted by teams at any scale, for data of any scale.

A MNIST-like fashion product database. Benchmark :point_down:

A powerful tool for creating fine-tuning datasets for LLM

Open source annotation tool for machine learning practitioners.

大规模中文自然语言处理语料 Large Scale Chinese Corpus for NLP

Techniques for deep learning with satellite & aerial imagery

Curated list of Machine Learning, NLP, Vision, Recommender Systems Project Ideas