Resources for my AI4Math Seminar!
☆17Dec 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:
- 以免在群聊吹水时读不懂群友在说什么☆22Jul 27, 2024Updated 2 years ago
- 本项目系列相关视频为大家测试CrewAI官方提供的Tools☆14Jan 2, 2025Updated last year
- LaTeX Template for Fudan University School of Computer Science 2024☆12May 21, 2024Updated 2 years ago
- 清华大学软件学院2025秋季学期《软件工程》课程，三四五组大作业：Echo of Time☆29Apr 12, 2026Updated 5 months ago
- Matrix Iteratively Reweighted Least Squares for low-rank matrix completion and estimation☆12Dec 30, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A visual novel made with Godot Engine.☆11Sep 18, 2023Updated 3 years ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆12Jul 24, 2026Updated 2 months ago
- Homepage of the Lean-zh website.☆61Aug 13, 2026Updated last month
- 社团内部的学习资料与经验分享☆15Feb 14, 2025Updated last year
- OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning☆19Nov 12, 2025Updated 10 months ago
- Lean 形式化数学☆20Dec 20, 2025Updated 9 months ago
- Performing Foreground Detection in videos using RPCA with ADMM algorithm☆18May 15, 2020Updated 6 years ago
- ☆21Mar 11, 2026Updated 6 months ago
- ☆19Apr 5, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A transpiler that converts TeX into Unicode (as possible).☆23Jul 23, 2026Updated 2 months ago
- Automatically check your GPA☆21Jun 17, 2025Updated last year
- 公共API服务，Power by ThinkJS☆20May 11, 2025Updated last year
- 一个简易的不自动化的autodl部署自己的代理的指南，帮助下载huggingface的模型（鉴于官方学术加速以及hfmirror很不好用）☆18Sep 3, 2025Updated last year
- ☆26May 17, 2026Updated 4 months ago
- A MkDocs plugin that generate statistic data of a site☆37Aug 10, 2025Updated last year
- IOI 2020 集训队作业☆27Jan 3, 2020Updated 6 years ago
- 一个利用 clangd 开发昇腾算子的 demo。☆15Sep 3, 2025Updated last year
- [CVPR2026] Official implementation of "FreqEdit: Preserving High-Frequency Features for Robust Multi-Turn Image Editing"☆18Mar 31, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A Docker-first, non-preemptive multi-agent coordination runtime☆17Aug 6, 2026Updated 2 months ago
- ☆30Dec 9, 2025Updated 10 months ago
- Material for the course of "Mathematics of Transformer"☆24Aug 3, 2025Updated last year
- ☆27Sep 23, 2020Updated 6 years ago
- Typst Thesis Template for Tsinghua University (THU)☆35Aug 24, 2026Updated last month
- ☆31Jun 4, 2025Updated last year
- 卓越杯项目：新原理的视频通话（卫星带宽水平）☆18Jun 18, 2025Updated last year
- The official implementation of "LightTransfer: Your Long-Context LLM is Secretly a Hybrid Model with Effortless Adaptation"☆22Apr 22, 2025Updated last year
- [CVPR 2026] MixFlow Training: Alleviating Exposure Bias with Slowed Interpolation Mixture☆22Dec 23, 2025Updated 9 months ago
- 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.
- Opensource school volunteer management system for ZHZX.☆18Jul 31, 2024Updated 2 years ago
- Official Repositary of "Test-Time Conditioning with Representation-Aligned Visual Features"☆20Feb 6, 2026Updated 8 months ago
- mem0 的小玩具 qwq☆26Dec 11, 2022Updated 3 years ago
- Source code for our paper: "ARIA: Training Language Agents with Intention-Driven Reward Aggregation".☆31Aug 9, 2025Updated last year
- 字节跳动瓜最终真实情况，用事实说话，正义会迟到但不会缺席！☆23Oct 18, 2024Updated last year
- The tensor-network translation module for Qibo.☆16Updated this week
- a koishi bot for playing The Werewolves of Millers Hollow in your QQ group☆22Jan 25, 2021Updated 5 years ago