Runnel Zhang
@ChouYuanjueResearch Intern at @thunlp; Core Member of @NJU-AIA; Mathematics moderator of Chaoli Club
Language Breakdown
Lines of code distribution across 19 owned repositories
T-Shaped Developer
T-shapedDeep in Python with broad versatility
Collaboration Network
Global Impact visualization
Repos
32
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Wen-Wei Li
@wenweili
Sunny Huang
@huangjj27
Anieer LhayK
@f32797653-beep
Chenxing-Xuan
@Chenxing-Xuan
Qyd
@Qyd-QydQyd
Top Repositories
一个强大的Python工具，用于将PDF文档转换为结构化文本，并利用先进的AI模型生成高质量的内容总结和关键词提炼。
QQ机器人豆子 Doge的源码库。包括v2（使用CQP），v3（使用mirai），v4（使用AstrBot，当前版本）。
本项目为 Nova 2025 信息整合工具项目协作对接的 Mock Service，对齐《协作对接方案（草案）》设计，便于前后端、各组并行开发和联调。
语雀文档转化工具，属于2025南京大学nova社团第一次实践组项目。
This is the personal academic portal and digital archive of myself. It serves as a curated collection of knowledge, spanning from informal mathematical notes to classical literary works and linguistic research.
Generate question banks directly from textbooks. Leverage OpenRouter's multimodal/text models and local OCR capabilities to extract math problems and solutions from images, web pages, or PDFs, and generate uniformly formatted TeX question banks.
这是一个用于存放个人自学数学过程中记录的笔记和资料的项目。此项目原本通过FigShare发布，DOI: 10.6084/m9.figshare.c.6094833.v7
爬取自南哪助手给25届新生的语雀指南。该项目属于一个nova社团项目的中间产物。
Lean Portfolio Attribution is a research codebase that attributes inference-time gains in Lean theorem proving via fixed-budget attempt portfolios, retrieval-free controls, matched-compute baselines, and cross-system portability checks against external provers like ReProver.
This project studies whether logical-reasoning LLMs should be trained to emit three different evidence regimes: PROVE for entailed queries, REFUTE for contradicted queries, ABSTAIN for unsupported queries with a missing-support witness.
Open Source Impact
Contributions to external projects
No external contributions found.