my own paper for history of math and corresponding agentic workflow
☆17Apr 12, 2026Updated 4 months ago
Alternatives and similar repositories for math-history-paper
Users that are interested in math-history-paper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 推理文字冒险游戏《魔法少女ノ魔女裁判》的二次创作的 Android 应用。 基于 Kotlin 与 Jetpack Compose。☆22Oct 16, 2025Updated 10 months ago
- notes on topos theory (Chinese)☆17Nov 28, 2024Updated last year
- A karaoke platform built on online videos, starting with Bilibili. 基于 在线视频的卡拉 OK 平台，目前支持 B 站。☆24Updated this week
- Line colour resources of multiple railway systems☆19Updated this week
- Mini Model Daemon☆13Nov 9, 2024Updated last year
- 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.
- ☆12Dec 14, 2024Updated last year
- Training a reward model for RLHF using RWKV.☆15Jun 5, 2023Updated 3 years ago
- test images with not appropriate labels in MNIST dataset☆10Mar 3, 2018Updated 8 years ago
- Resources for my AI4Math Seminar!☆17Dec 6, 2025Updated 8 months ago
- 以免在群聊吹水时读不懂群友在说什么☆21Jul 27, 2024Updated 2 years ago
- RWKV-7 mini☆12Mar 29, 2025Updated last year
- Open Source Version of florr.io☆10Jan 16, 2023Updated 3 years ago
- Direct Preference Optimization for RWKV, aiming for RWKV-5 and 6.☆11Mar 1, 2024Updated 2 years ago
- GoldFinch and other hybrid transformer components☆16Dec 9, 2025Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Karaoke Lyrics Tool Based on Lyrics Text and Vocal Audio☆64Aug 14, 2026Updated 2 weeks ago
- 清华大学学生健康和出行情况报告每日自动提交☆14Jan 30, 2021Updated 5 years ago
- RWKV Wiki website (archived, please visit official wiki)☆10Mar 26, 2023Updated 3 years ago
- Repository containing the website for the EMNLP 2023 conference☆17Feb 12, 2025Updated last year
- MAGIC: Microlensing Analysis Guided by Intelligent Computation. A PyTorch framework for automatic analysis of realistic microlensing ligh…☆13May 30, 2024Updated 2 years ago
- A Hello World program in Coq.☆17May 28, 2022Updated 4 years ago
- 清华大学宿舍洗衣机空闲提醒 小程序☆14Feb 4, 2021Updated 5 years ago
- OpenLLMDE: An open source data engineering framework for LLMs☆18Sep 9, 2023Updated 2 years ago
- Calculate the probability of a paper being accepted by EMNLP2023 based on score distribution of ACL2023.☆14Sep 7, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Some preliminary explorations of Mamba's context scaling.☆14Dec 18, 2024Updated last year
- ☆24Sep 23, 2024Updated last year
- Muon in Int8 Precision Made Possible☆20Jun 18, 2026Updated 2 months ago
- ☆28Feb 26, 2026Updated 6 months ago
- Official code for our paper "SoK: Large Language Model Copyright Auditing via Fingerprinting"☆19Dec 31, 2025Updated 8 months ago
- Mathematical Analysis (et analyse fonctionnelle)☆19Feb 1, 2022Updated 4 years ago
- A high-efficiency text embedding and reranking model based on RWKV architecture.☆20Jan 10, 2026Updated 7 months ago
- A Mediawiki extension : Use Unicode IDS to resolve ancient Chinese lacking characters.☆17Nov 20, 2016Updated 9 years ago
- RWKV models and examples powered by candle.☆24Jan 19, 2026Updated 7 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.
- This project demonstrates the computation process of the RWKV (Receptance Weighted Key Value) model through Excel spreadsheets.☆21Jun 7, 2025Updated last year
- This repository presents the original implementation of Pretraining Data Detection for Large Language Models: A Divergence-based Calibrat…☆23May 21, 2025Updated last year
- Transformer models for board games for KataGo☆21Updated this week
- Minimal RLHF implementation built on top of minGPT.☆32Jul 4, 2024Updated 2 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆38Apr 3, 2026Updated 4 months ago
- Annas Archive Guide☆47Aug 18, 2026Updated last week
- Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory☆377Updated this week