Stars
A Chinese Translation of Stanford CS229 notes 斯坦福机器学习CS229课程讲义的中文翻译
ValueCell is a community-driven, multi-agent platform for financial applications.
Stanford convex optimization course
[ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach
💩State-of-the-art shitcode principles your project should follow to call it a proper shitcode
🥢像老乡鸡🐔那样做饭。主要部分于2024年完工，非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》，并做归纳、编辑与整理。CookLikeHOC.
This repository showcases various advanced techniques for Retrieval-Augmented Generation (RAG) systems. RAG systems combine information retrieval with generative models to provide accurate and cont…
Beginner's guide to Tactic Programming in Lean
PKU 2023 -12 Machine Learning Labs
An opinionated list of awesome Python frameworks, libraries, software and resources.
Solution and Useful Links
2023 Spring PKU Python and Data Science Course
PKU course materials on computer science & life sciences.
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
Formalization of Iwasawa Theory in LꓱꓯN (tentative)
从Markdown转化为LaTeX语句的简单实现 A converter from Markdown to Latex base on regular expression in Python
Code for Beijing workshop, February 2025. Mainly meta-programming in Lean
Examples using MetaProgramming for writing tactics etc.