Resources for my AI4Math Seminar!
☆17Dec 6, 2025Updated 8 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 2 years ago
- Deep Data Research. Seek More, See Beyond.☆16Feb 6, 2026Updated 6 months ago
- 🌳CED: Catalog Extraction from Documents☆16Jul 30, 2023Updated 3 years ago
- 🖖 图谱式笔记系统，旨在提高个人笔记的使用率！☆11Jan 17, 2021Updated 5 years ago
- 本项目系列相关视频为大家测试CrewAI官方提供的Tools☆14Jan 2, 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.
- LaTeX Template for Fudan University School of Computer Science 2024☆12May 21, 2024Updated 2 years ago
- 清华大学软件学院2025秋季学期《软件工程》课程，三四五组大作业：Echo of Time☆29Apr 12, 2026Updated 3 months ago
- A visual novel made with Godot Engine.☆11Sep 18, 2023Updated 2 years ago
- 一个复旦幻灯片的 Typst 主题。An unofficial Fudan slide theme for Typst.☆16Mar 19, 2024Updated 2 years ago
- A WeChat applet based on the hexo framework☆18Jan 8, 2024Updated 2 years ago
- ☆19Apr 5, 2025Updated last year
- A transpiler that converts TeX into Unicode (as possible).☆21Jul 23, 2026Updated 2 weeks ago
- ☆20Mar 11, 2026Updated 4 months ago
- 使用vis.js可视化知识图谱，使用Flask框架，数据库为neo4j，实现查询节点，显示节点的知识图谱导力图☆15Mar 2, 2023Updated 3 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.
- Automatically check your GPA☆21Jun 17, 2025Updated last year
- ☆23May 17, 2026Updated 2 months ago
- fake CUTLASS to get peformance☆26Apr 28, 2026Updated 3 months ago
- 公共API服务，Power by ThinkJS☆20May 11, 2025Updated last year
- CVE-2013-2028 python exploit☆19Jun 27, 2020Updated 6 years ago
- 一个简易的不自动化的autodl部署自己的代理的指南，帮助下载huggingface的模型（鉴于官方学术加速以及hfmirror很不好用）☆18Sep 3, 2025Updated 11 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 last year
- IOI 2020 集训队作业☆27Jan 3, 2020Updated 6 years ago
- 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
- 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.
- (DEPRECATED) SJTU+ 主页与 SJTU 学科交流群☆18Aug 1, 2024Updated 2 years ago
- ☆16Mar 24, 2026Updated 4 months ago
- DeepRAG: Thinking to Retrieve Step by Step for Large Language Models☆39Feb 17, 2026Updated 5 months ago
- ☆24Sep 23, 2024Updated last year
- [CVPR2026] Official implementation of "FreqEdit: Preserving High-Frequency Features for Robust Multi-Turn Image Editing"☆16Mar 31, 2026Updated 4 months ago
- 花狮本科生课程指北基金会 华师大课程攻略共享计划 我们收容，我们共享，我们跑路（不是☆21Jul 1, 2022Updated 4 years ago
- A Docker-first, non-preemptive multi-agent coordination runtime☆17Updated this week
- Material for the course of "Mathematics of Transformer"☆24Aug 3, 2025Updated last year
- ☆28Dec 9, 2025Updated 8 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.
- ☆27Sep 23, 2020Updated 5 years ago
- 计算机网络：自顶向下方法 （原书第七版）陈鸣译 课后习题参考答案（中文版+英文版）；计算机 系统基础（第2版）袁春风 课后习题参考答案；操作系统教程（第5版）费翔林 课后习题参考答案；数据结构（用C++描述）殷人昆）课后习题参考答案；算法设计与分析 黄宇 课后习题参考答案；☆20Apr 2, 2020Updated 6 years ago
- TnTT is Not a Tex Thesis Template for Tsinghua university (THU)...☆27Aug 3, 2026Updated last week
- 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 7 months ago
- mem0 的小玩具 qwq☆26Dec 11, 2022Updated 3 years ago
- Source code for our paper: "ARIA: Training Language Agents with Intention-Driven Reward Aggregation".☆30Aug 9, 2025Updated last year