6-day longest streak
✦ ɪᴍʙᴜᴇ ✦ When the world stopped, I started compiling. > 他会拿起一块蓝色玻璃,透过它看花园,花园里的沙地和路径会变成一种灰烬般的颜色,天空则变得异常深邃,仿佛热带的天空。 > — 《说吧,记忆》,弗拉基米尔·纳博科夫 🔬 Recent Research & Publications My research focuses on bridging the gap between human intuition…
✦ ɪᴍʙᴜᴇ ✦
*When the world stopped, I started compiling.*
> *他会拿起一块蓝色玻璃,透过它看花园,花园里的沙地和路径会变成一种灰烬般的颜色,天空则变得异常深邃,仿佛热带的天空。*
> — 《说吧,记忆》,弗拉基米尔·纳博科夫
🔬 Recent Research & Publications
My research focuses on bridging the gap between human intuition and machine scale, with a strong emphasis on Deep Learning Theory, LLM Reasoning, Long-Context Processing, and Quantitative Finance.📂 Research by Domain
📐 Deep Learning Theory & Scaling Laws
* *Core Contribution:* Real-data scaling laws are driven by progressively covering a latent predictive state spectrum rather than just token frequencies. By representing corpora as suffix-automata and using a global-KL spectrum, effective truncation ranks reliably predict excess loss across training sizes ($R^2 \approx 0.96$). * *Core Contribution:* Develops a kinetic framework for Z-O Newton methods, providing a Stein-corrected Hessian estimator and exposing the curvature-variance trade-off. * *Core Contribution:* Frames hyperparameter tuning as a landscape reconstruction problem, using active surrogate modeling to find robust, generalizable minima.🧠 LLM Reasoning & Alignment
* *Core Contribution:* Proposes *Leader-Follower MCTS*, where the LLM steers search with macro-actions, improving performance on GSM8K, MATH, and HumanEval. * *Core Contribution:* Bridges the gap between heuristic truncation in LLM sampling and true mathematical alignment, revealing statistical biases. * *Core Contribution:* Introduces *EVA*, a reward modeling paradigm for theorem proving that extracts continuous scores from discrete token distributions. * *Core Contribution:* Presents *Soft-NBCE*, which replaces hard chunk selection with soft fusion, improving reasoning while maintaining memory efficiency.📈 Quantitative Finance & Applied Systems
* *Core Contribution:* Formulates a non-stationary NTK and spectral tracking SDE to model DL performance under persistent market distribution shifts. * *Core Contribution:* A Gumbel-Softmax based framework for dynamic precision routing that optimizes model efficiency for inference on edge devices.🚗 Vision-Language-Action (VLA) & Embodied AI
* *Core Contribution:* A sparse, energy-based framework for autonomous driving that uses VLMs for class-agnostic perception and Lagrangian action minimization.🌍 Beyond the Papers: My Multiverse of Engineering & Finance
- 📈 Quantitative Finance: I actively manage ~5 Million CNY in quantitative funds, integrating modern CS and deep learning into strategies to generate alpha.
- ⚙️ Systems & DevOps: An advocate for Clean Code & TDD. I've achieved C10K via kernel tuning/IO multiplexing and ran CPU-based IDC services with a 1:20 overselling ratio. I'm proficient in K8s (Helm, Prometheus, Grafana, ELK), and have improved resource utilization by 17% through HPA and Limit/Request tuning.
- 🌐 Frontend & UX: With a deep focus on aesthetics and HCI, I leverage React, Vue, and Ionic to transform complex backend logic into elegant user experiences. An excellent system needs both robustness in algorithms and poetry in its UI.
- 🛡️ CTF & CP: I'm active in XCTF (Crypto & Web) with contributions in problem-setting and write-ups, alongside a brief but intense stint in Competitive Programming.
🤖 Open Source & Trained Models
- Socrates-nano: Open-sourced the complete LLM codebase including pre-training, data synthesis pipelines, post-training, and test-time scaling.
- Socrates-embedding: A next-gen embedding model that outperforms an 83× larger parameter counterpart, achieving SOTA accuracy under identical budgets.
- RWKV-7-Prover-1.5B: A formal math model leveraging RWKV-7 & Condor-inspired data synthesis for high-precision Lean 4 auto-formalization.
- LPR-Oracle: A forecasting model for China’s Loan Prime Rate (LPR) in financial markets.
- Thales: Thales is an interpretable, physics-informed deep learning surrogate model for ultra-fast, arbitrage-free option pricing and AI-decoded risk reporting.
📊 GitHub Analytics
⚙️ Runtime Configuration
💻 System.Current() -> struct AboutMe
C
#include
struct Skills {
struct Languages {
const char* proficient[6];
const char* familiar[4];
const char* exploring[5];
} languages;
struct Frontend {
const char* frameworks_libraries[4];
const char* styling[5];
const char* state_management[3];
const char* tools[3];
} frontend;
struct Backend {
const char* frameworks_runtime[4];
const char* databases[4];
const char* orms[3];
const char* apis[2];
} backend;
struct DataScience {
const char* libraries[2];
const char* tools[2];
} data_science;
struct DevOpsAndCloud {
const char* containerization[2];
const char* ci_cd[1];
const char* cloud_platforms[3];
} devops;
struct ToolsAndEnvironment {
const char* version_control[2];
const char* editors_ides[3];
const char* operating_systems[3];
const char* design_tools[2];
} tools;
};
struct AboutMe {
const char* name;
const int age;
const char* gender;
const char* interests[5];
struct Skills skills;
};
struct AboutMe me = {
.name = "imbue",
.age = 15,
.gender = "Female",
.interests = {
"LLM & Theoretical Machine Learning",
"Quantitative Finance",
"Full-Stack & Cloud Native",
"Competitive Programming",
"Cryptography & Infosec"
},
.skills = {
.languages = {
.proficient = { "C++", "Python", "JavaScript", "TypeScript", "HTML5", "CSS3" },
.familiar = { "Rust", "Go", "Java", "SQL" },
.exploring = { "Haskell", "Lisp", "C", "x86 Assembly", "QASM" }
},
.frontend = {
.frameworks_libraries = { "React", "Next.js", "Vue.js", "Svelte" },
.styling = { "Tailwind CSS", "Sass/SCSS", "Bootstrap", "Material-UI", "Styled-components" },
.state_management = { "Redux", "Zustand", "Pinia" },
.tools = { "Vite", "Webpack", "Babel" }
},
.backend = {
.frameworks_runtime = { "Node.js", "Express.js", "FastAPI (Python)", "Actix Web (Rust)" },
.databases = { "PostgreSQL", "MySQL", "MongoDB", "Redis" },
.orms = { "Prisma", "SQLAlchemy (Python)", "Sequelize" },
.apis = { "RESTful APIs", "GraphQL (Apollo)" }
},
.data_science = {
.libraries = { "PyTorch", "Python (NumPy, Pandas, Scikit-learn)", "R (ggplot2)" },
.tools = { "Jupyter Notebook", "SQL" }
},
.devops = {
.containerization = { "Docker", "Kubernetes (Helm)" },
.ci_cd = { "GitHub Actions" },
.cloud_platforms = { "Vercel", "AWS", "Prometheus/Grafana", "ELK" }
},
.tools = {
.version_control = { "Git", "GitHub" },
.editors_ides = { "VS Code", "Neovim", "JetBrains IDEs" },
.operating_systems = { "Linux (Ubuntu, CentOS, Manjaro, Rocky Linux)", "Windows (WSL2)", "macOS" },
.design_tools = { "Figma", "Adobe XD" }
}
}
};
---
*Life is a stochastic process; optimize for the long tail.*
---
荣誉勋章

-
AlphaGPT ★ PINNED
基于深度强化学习的开源自动因子工厂。
Python ★ 2.1k 7d agoExplain → -
no_JIT ★ PINNED
Leverage the novel features and advanced financial mathematics introduced in Uniswap V4 to effectively mitigate just-in-time (JIT) liquidity provision issues.
Solidity ★ 235 5mo agoExplain → -
OpenClaw-PwnKit ★ PINNED
Get shell to almost any OpenClaw host machine.
Python ★ 287 3mo agoExplain → -
NS-NTK
Official implementation for the paper: Deep Learning under Continuous Distribution Shift: The Non-Stationary NTK and Spectral Tracking SDE for Quantitative Finance
Python ★ 39 23d agoExplain → -
Moses
开放信号聚合ensemble框架。
C++ ★ 34 4mo agoExplain → -
phiLean
哲学的形式化验证器「phiLean」。
Lean ★ 27 7mo agoExplain → -
imbue-bit
🌺 GitHub profile
★ 16 11d agoExplain → -
cjquant
CJQuant | 为场外基金设计的量化交易 SDK。
Python ★ 15 27d agoExplain → -
TurboTCP
通过内核调优优化TCP的发包速度与稳健性。
C++ ★ 10 4mo agoExplain → -
ISS-Monitor
3D tracking and rendering of the ISS position.
HTML ★ 6 4mo agoExplain → -
LocalClaude
[WIP] LocalClaude: Distillation attack on Claude — architecture search meets semantic-free attack.
Python ★ 6 3mo agoExplain → -
capacity_estimator
Quantitative AUM capacity estimator featuring a Q-learning Oracle.
C++ ★ 5 1mo agoExplain → -
TidyLangChain
🪶 The C language implementation of LangChain
C ★ 5 1mo agoExplain → -
ntpdos ⑂
Create a DDOS attack using NTP servers
Python ★ 3 3mo agoExplain → -
socrates-mdt-teacher-model ⑂
为 Socrates(MDT) 训练时需要的部分特殊引导信息训练的 BERT。
Python ★ 3 3mo agoExplain → -
vllm ⑂
A high-throughput and memory-efficient inference and serving engine for LLMs
★ 3 4mo agoExplain → -
Learnable_LUT
算法「Learnable_LUT」的实验。
Python ★ 3 3mo agoExplain → -
Mqtt4j
轻量级、面向虚拟线程的零依赖 Java MQTT 客户端
Java ★ 1 12d agoExplain → -
home ⑂
个人主页,我的个人主页,个人主页源码,主页模板,homepage
★ 0 1y agoExplain → -
cuscuta
No description, website, or topics provided.
Python ★ 0 18d agoExplain → -
fake_commit
【我的 Haskell 练习】通过伪造 first commit 时间,让您在 1970 年便加入 GitHub
Haskell ★ 0 1mo agoExplain →
No repos match these filters.