Resources for my AI4Math Seminar!
☆17Dec 6, 2025Updated 7 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:
- 以免在群聊吹水时读不懂群友在说什么☆19Jul 27, 2024Updated last year
- LaTeX Template for Fudan University School of Computer Science 2024☆12May 21, 2024Updated 2 years ago
- A visual novel made with Godot Engine.☆11Sep 18, 2023Updated 2 years ago
- ☆16Mar 25, 2026Updated 3 months ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆12Updated this week
- 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.
- UOJ 通过题目比较器☆15Jul 1, 2019Updated 7 years ago
- 一个复旦幻灯片的 Typst 主题。An unofficial Fudan slide theme for Typst.☆16Mar 19, 2024Updated 2 years ago
- Homepage of the Lean-zh website.☆59Jun 18, 2026Updated last month
- OR-R1: Automating Modeling and Solving of Operations Research Optimization Problem via Test-Time Reinforcement Learning☆17Nov 12, 2025Updated 8 months ago
- Performing Foreground Detection in videos using RPCA with ADMM algorithm☆18May 15, 2020Updated 6 years ago
- Lean 形式化数学☆18Dec 20, 2025Updated 7 months ago
- ☆20Mar 11, 2026Updated 4 months ago
- A transpiler that converts TeX into Unicode (as possible).☆21Mar 5, 2026Updated 4 months ago
- ☆21May 17, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- fake CUTLASS to get peformance☆26Apr 28, 2026Updated 2 months ago
- [ACL 2025] "World Modeling Makes a Better Planner: Dual Preference Optimization for Embodied Task Planning." https://arxiv.org/abs/2503.1…☆18Jul 22, 2025Updated 11 months ago
- IOI 2020 集训队作业☆27Jan 3, 2020Updated 6 years ago
- Course planning service for SJTU☆20Apr 1, 2026Updated 3 months ago
- This repo contains the solutions of UC Berkeley CS 61B spring semester 2018, and materials including slides, lecture codes, exams and dis…☆14May 24, 2024Updated 2 years ago
- (DEPRECATED) SJTU+ 主页与 SJTU 学科交流群☆18Aug 1, 2024Updated last year
- ☆16Mar 24, 2026Updated 3 months ago
- Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.☆140Jun 14, 2025Updated last year
- [CVPR2026] Official implementation of "FreqEdit: Preserving High-Frequency Features for Robust Multi-Turn Image Editing"☆15Mar 31, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Automated sum-of-squares (SOS) Prover for Algebraic Inequalities | Python-based tool with GUI & API | Generates readable sum-of-squares p…☆37Jul 12, 2026Updated last week
- 花狮本科生课程指北基金会 华师大课程攻略共享计划 我们收容，我们共享，我们跑路（不是☆21Jul 1, 2022Updated 4 years ago
- ☆29Jun 4, 2025Updated last year
- 计算机网络：自顶向下方法 （原书第七版）陈鸣译 课后习题参考答案（中文版+英文版）；计算机系统基础（第2版）袁春风 课后习题参考答案；操作系统教程（第5版）费翔林 课后习题参考答案；数据结构（用C++描述）殷人昆）课后习题参考答案；算法设计与分析 黄宇 课后习题参考答案；☆20Apr 2, 2020Updated 6 years ago
- The official implementation of "LightTransfer: Your Long-Context LLM is Secretly a Hybrid Model with Effortless Adaptation"☆22Apr 22, 2025Updated last year
- TnTT is Not a Tex Thesis Template for Tsinghua university (THU)...☆25Jun 25, 2026Updated 3 weeks ago
- 卓越杯项目：新原理的视频通话（卫星带宽水平）☆18Jun 18, 2025Updated last year
- ☆23May 19, 2019Updated 7 years ago
- Source code for our paper: "ARIA: Training Language Agents with Intention-Driven Reward Aggregation".☆30Aug 9, 2025Updated 11 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Shows variations of the Beamer LaTeX package's themes and color themes☆32May 13, 2024Updated 2 years ago
- mem0 的小玩具 qwq☆26Dec 11, 2022Updated 3 years ago
- The tensor-network translation module for Qibo.☆16Jul 14, 2026Updated last week
- The official implementation for paper "AdaExplore: Failure-Driven Adaptation and Diversity-Preserving Search for Efficient Kernel Generat…☆22Jul 12, 2026Updated last week
- vue+antd开发的项目管理系统模板，快速开发☆27Nov 24, 2021Updated 4 years ago
- Search Self-Play: Pushing the Frontier of Agent Capability without Supervision☆19Dec 30, 2025Updated 6 months ago
- verl data curation☆21Feb 25, 2026Updated 4 months ago