Popular GitHub Repositories for Formal Mathematics

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Collection of various algorithms in mathematics, machine learning, computer science, physics, etc implemented in C for educational purposes.

人工智能学习路线图，整理近200个实战案例与项目，免费提供配套教材，零基础入门，就业实战！包括：Python，数学，机器学习，数据分析，深度学习，计算机视觉，自然语言处理，PyTorch tensorflow machine-learning,deep-learning data-analysis data-mining mathematics data-science artificial-intelligence python tensorflow tensorflow2 caffe keras pytorch algorithm numpy pandas matplotlib seaborn nlp cv等热门领域

A collection of LLM papers, blogs, and projects, with a focus on OpenAI o1 ? and reasoning techniques.

使用机器学习算法完成对12306验证码的自动识别

Some awesome AI related books and pdfs for learning and downloading, also apply some playground models for learning

Official Repository for "Mish: A Self Regularized Non-Monotonic Neural Activation Function" [BMVC 2020]

A curated list of Best Artificial Intelligence Resources

LLMs as Copilots for Theorem Proving in Lean

A series of math-specific large language models of our Qwen2 series.

Machine Learning Open Source University

A research tool for the Iterated Prisoner's Dilemma

Welcome to the Data Science EBooks repository! This collection offers a variety of high-quality ebooks on Data Science, Machine Learning, and AI. Perfect for both beginners and advanced learners, explore these resources to deepen your knowledge and skills.

The motive behind Creating this repo is to feel the fear of mathematics and do what ever you want to do in Machine Learning , Deep Learning and other fields of AI

Your no-nonsense guide to the Math used in Artificial Intelligence

A Neural Language Style Transfer framework to transfer natural language text smoothly between fine-grained language styles like formal/casual, active/passive, and many more. Created by Prithiviraj Damodaran. Open to pull requests and other forms of collaboration.

NLP 101: a resource repository for Deep Learning and Natural Language Processing

Complete path for a beginner to become a Machine Learning Scientist!

研究生数学建模，华为杯数学建模，2021D题（数模之星），乳腺癌，机器学习，数据分析