my own paper for history of math and corresponding agentic workflow
☆19Apr 12, 2026Updated 6 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。☆23Oct 16, 2025Updated last year
- K/DE Cyberpunk Neon Themes for KDE Plasma.☆11Jan 27, 2019Updated 7 years ago
- notes on topos theory (Chinese)☆18Nov 28, 2024Updated last year
- Complete KDE Plasma 6 cyberpunk theme. Cyan/magenta/yellow palette optimised for OLED. Includes desktop theme, colour scheme, GTK3/4, ter…☆16Updated this week
- A karaoke platform built on online videos, starting with Bilibili and YouTube. 基于在线视频的卡拉 OK 平台，目前支持 Bilibili 和 YouTube。☆33Updated this week
- 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.
- One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).☆32Updated this week
- Line colour resources of multiple railway systems☆19Updated this week
- Implementation of ZoreCoT☆10Feb 1, 2025Updated last year
- Mini Model Daemon☆13Nov 9, 2024Updated last year
- ☆12Dec 14, 2024Updated last year
- Deductive verifier for CUDA☆16Dec 19, 2016Updated 9 years ago
- Training a reward model for RLHF using RWKV.☆15Jun 5, 2023Updated 3 years ago
- Open Source Version of florr.io☆10Jan 16, 2023Updated 3 years ago
- ☆14Oct 19, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- GoldFinch and other hybrid transformer components☆17Dec 9, 2025Updated 10 months ago
- test images with not appropriate labels in MNIST dataset☆10Mar 3, 2018Updated 8 years ago
- RWKV-7 mini☆12Mar 29, 2025Updated last year
- Resources for my AI4Math Seminar!☆16Dec 6, 2025Updated 10 months ago
- A Job Board for Formal Verification☆87Updated this week
- Direct Preference Optimization for RWKV, aiming for RWKV-5 and 6.☆11Mar 1, 2024Updated 2 years ago
- Vibe Mathematics —— 多代理数学问题求解与形式化验证框架☆43Updated this week
- Repository containing the website for the EMNLP 2023 conference☆17Feb 12, 2025Updated last year
- A Hello World program in Coq.☆17May 28, 2022Updated 4 years 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.
- MAGIC: Microlensing Analysis Guided by Intelligent Computation. A PyTorch framework for automatic analysis of realistic microlensing ligh…☆13May 30, 2024Updated 2 years ago
- Building a corpus of Chinese Classical Poetry☆10May 23, 2017Updated 9 years ago
- 中国｜高教社杯全国大学生数学建模竞赛往年真题汇总1992-2025☆97Jun 29, 2026Updated 4 months ago
- OpenLLMDE: An open source data engineering framework for LLMs☆18Sep 9, 2023Updated 3 years ago
- 清华大学宿舍洗衣机空闲提醒小程序☆14Feb 4, 2021Updated 5 years ago
- 清华大学学生健康和出行情况报告每日自动提交☆14Jan 30, 2021Updated 5 years ago
- Calculate the probability of a paper being accepted by EMNLP2023 based on score distribution of ACL2023.☆14Sep 7, 2023Updated 3 years ago
- A Lean formalization of the Classification of Finite Simple Groups☆146Updated this week
- RWKV Wiki website (archived, please visit official wiki)☆10Mar 26, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 以免在群聊吹水时读不懂群友在说什么☆22Jul 27, 2024Updated 2 years ago
- Lecture slides for the Course "Large Foundation Models: Mathematics, Algorithms, and Applications"☆37Sep 16, 2026Updated last month
- Some preliminary explorations of Mamba's context scaling.☆14Dec 18, 2024Updated last year
- A Karaoke Lyrics Tool Based on Lyrics Text and Vocal Audio☆75Aug 14, 2026Updated 2 months ago
- Muon in Int8 Precision Made Possible☆20Jun 18, 2026Updated 4 months ago
- Official code for our paper "SoK: Large Language Model Copyright Auditing via Fingerprinting"☆20Dec 31, 2025Updated 10 months ago
- ☆25Sep 23, 2024Updated 2 years ago