Resources for my AI4Math Seminar!
☆16Dec 6, 2025Updated 10 months ago
Alternatives and similar repositories for AI4Math-Seminar
Users that are interested in AI4Math-Seminar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 清华大学软件学院2024夏季学期《程序设计实训》课程大作业：带有元素反应系统的2D横板动作游戏☆12Sep 8, 2024Updated 2 years ago
- 以免在群聊吹水时读不懂群友在说什么☆22Jul 27, 2024Updated 2 years ago
- Code for paper "CAPO: Towards Enhancing LLM Reasoning through Verifiable Generative Credit Assignment"☆12Dec 5, 2025Updated 10 months ago
- Open-source SM120 (Blackwell) SASS assembler — encode, schedule & assemble GPU machine code, including all tensor-core instructions.☆12Oct 23, 2026Updated last week
- Codes for short course on computational mathematics and AI☆13Dec 20, 2025Updated 10 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Deep Data Research. Seek More, See Beyond.☆21Feb 6, 2026Updated 8 months ago
- 一年过去了，你在华子食堂里花的钱都花在哪儿了？☆12Dec 30, 2025Updated 10 months ago
- ☆15Nov 12, 2025Updated 11 months ago
- A visual novel made with Godot Engine.☆11Sep 18, 2023Updated 3 years ago
- Mozi Lean Copilot VS Code Extension☆12Jan 7, 2026Updated 9 months ago
- ☆14Aug 25, 2026Updated 2 months ago
- 清华大学软件学院2025秋季学期《软件工程》课程，三四五组大作业：Echo of Time☆29Apr 12, 2026Updated 6 months ago
- ☆28Sep 8, 2025Updated last year
- Glynn Winskel 著，末永幸平他訳，「プログラミング言語の形式的意味論入門」（丸善出版, 2023）のサポートサイト☆11May 8, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A curated paper list on On-Policy Distillation (OPD) & On-Policy Self-Distillation (OPSD) for LLMs — student rollouts + teacher feedback,…☆26Oct 10, 2026Updated 2 weeks ago
- Matrix Iteratively Reweighted Least Squares for low-rank matrix completion and estimation☆12Dec 30, 2020Updated 5 years ago
- AutoOPT related skills and code☆17Aug 28, 2026Updated 2 months ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- ☆16Aug 12, 2026Updated 2 months ago
- ☆18Mar 25, 2026Updated 7 months ago
- ☆17Jan 7, 2022Updated 4 years ago
- Some notes and code test about Deep Learning☆15Jul 12, 2020Updated 6 years ago
- A demo project for starters to learn website coding☆18Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 社团内部的学习资料与经验分享☆15Feb 14, 2025Updated last year
- A WeChat applet based on the hexo framework☆18Jan 8, 2024Updated 2 years ago
- Ⓜ️ Ernst Mayer's Mlucas and Mfactor programs for GIMPS☆25Updated this week
- A transpiler that converts TeX into Unicode (as possible).☆23Jul 23, 2026Updated 3 months ago
- Homepage of the Lean-zh website.☆62Aug 13, 2026Updated 2 months ago
- [TCSVT 2023] RDO-PTQ: Rate-Distortion Optimized Post-Training Quantization for Learned Image Compression☆24Nov 1, 2023Updated 2 years ago
- fake CUTLASS to get peformance☆26Apr 28, 2026Updated 6 months ago
- Performing Foreground Detection in videos using RPCA with ADMM algorithm☆18May 15, 2020Updated 6 years ago
- super easy super resolution☆21Dec 3, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- DeepRAG: Thinking to Retrieve Step by Step for Large Language Models☆40Feb 17, 2026Updated 8 months ago
- Automatically check your GPA☆21Jun 17, 2025Updated last year
- ZJU LaTeX Proposal Template for Undergraduate.☆18Jun 29, 2017Updated 9 years ago
- A Survey for LLM Agent Trajectory Analysis: From Failure Attribution to Enhancement(Accepted by TSE 2026)☆54Oct 10, 2026Updated 2 weeks ago
- 卓越杯项目：新原理的视频通话（卫星带宽水平）☆18Jun 18, 2025Updated last year
- This repo contains the solutions of UC Berkeley CS 61B spring semester 2018, and materials including slides, lecture codes, exams and dis…☆13May 24, 2024Updated 2 years ago
- ☆37Sep 8, 2026Updated last month