Language Breakdown
Lines of code distribution across 6 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in Python
Collaboration Network
Global Impact visualization
Repos
31
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Sai
@Sai
Martin Dvořák
@madvorak
aziksh-ospanov
@aziksh-ospanov
Xu Qiyuan
@xqyww123
Huajian Xin
@xinhjBrant
Top Repositories
"Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.
ADS project2, Mini Search Engine for Complete Works of William Shakespeare
Harbor is a framework for running agent evaluations and creating and using RL environments.
An updated version of miniF2F with lots of fixes and informal statements / solutions.
《明日方舟》小助手，全日常一键长草！| A one-click tool for the daily tasks of Arknights, supporting all clients.
A simple REPL for Lean 4, returning information about errors and sorries.
Tactics for discharging Lean goals into SMT solvers.
The math library of Lean 4
verl: Volcano Engine Reinforcement Learning for LLMs
Open Source Impact
Contributions to external projects
No external contributions found.