my own paper for history of math and corresponding agentic workflow
☆16Apr 12, 2026Updated 3 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。☆20Oct 16, 2025Updated 9 months ago
- notes on topos theory (Chinese)☆18Nov 28, 2024Updated last year
- A web karaoke request platform built on online videos, starting with Bilibili. 基于在线视频的网页点歌卡拉 OK 平台，目前支持 B 站。☆19Updated this week
- Line colour resources of multiple railway systems☆19Updated this week
- Mini Model Daemon☆13Nov 9, 2024Updated last year
- 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.
- ☆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 7 months ago
- 以免在群聊吹水时读不懂群友在说什么☆19Jul 27, 2024Updated last year
- RWKV-7 mini☆12Mar 29, 2025Updated last year
- 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 7 months ago
- A Karaoke Lyrics Tool Based on Lyrics Text and Vocal Audio☆40Dec 2, 2025Updated 7 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.
- 清华大学学生健康和出行情况报告每日自动提交☆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
- ☆24Sep 23, 2024Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Some preliminary explorations of Mamba's context scaling.☆14Dec 18, 2024Updated last year
- Muon in Int8 Precision Made Possible☆20Jun 18, 2026Updated last month
- ☆27Feb 26, 2026Updated 4 months ago
- Official code for our paper "SoK: Large Language Model Copyright Auditing via Fingerprinting"☆18Dec 31, 2025Updated 6 months ago
- Mathematical Analysis (et analyse fonctionnelle)☆18Feb 1, 2022Updated 4 years ago
- A high-efficiency text embedding and reranking model based on RWKV architecture.☆19Jan 10, 2026Updated 6 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 6 months ago
- This project demonstrates the computation process of the RWKV (Receptance Weighted Key Value) model through Excel spreadsheets.☆21Jun 7, 2025Updated last year
- 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.
- 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☆18Updated this week
- Annas Archive Guide☆36Aug 13, 2024Updated last year
- Minimal RLHF implementation built on top of minGPT.☆32Jul 4, 2024Updated 2 years ago
- Ring, field, lra, nra, and psatz tactics for Mathematical Components☆39Apr 3, 2026Updated 3 months ago
- Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory☆88Jul 14, 2026Updated last week
- 一个超级可爱的y2k风格桌面音频仪表应用☆101Updated this week