Index
A site-wide list of projects, writings, fragments, publications, collections, and INM notes. Entries load in batches for easier browsing.
Showing 48 of 250 entries.
An English TeX reconstruction of Informal Notes on Mathematics, with corrected and expanded notes compiled into a book-length PDF.
158 dated notes across 15 thematic volumes, with full PDF and per-note TeX sources.
Complex Analysis · 12 sections · PDF and TeX source available in the INM archive.
Complex Analysis · 10 sections · PDF and TeX source available in the INM archive.
Complex Analysis · 10 sections · PDF and TeX source available in the INM archive.
Complex Analysis · 17 sections · PDF and TeX source available in the INM archive.
Complex Analysis · 20 sections · PDF and TeX source available in the INM archive.
Complex Analysis · 14 sections · PDF and TeX source available in the INM archive.
Vector Calculus · 20 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 16 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 15 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 15 sections · PDF and TeX source available in the INM archive.
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 is an ultra-low-resource research codebase that translates short Tangut titles into modern Chinese using only 491 parallel pairs, achieving its strongest results via a hybrid workflow of frontier prompt‑only models and locally trained DPO‑repaired candidates rather than any single approach.
CORAL is a research codebase that enhances trustworthy travel planning by directly parsing natural-language queries and applying localized repair, boosting pass rates on TravelPlanner and ChinaTravel while addressing benchmark infeasibility and constraint consistency.
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.
A deterministic translator toolkit for RC-1, a standardized R'lyehian/Cthuvian conlang layer. Turns English into Lovecraftian grammar with gloss support, sealed fallbacks, and an optional LLM-assisted registry.
A rigorous conlanging framework for Cthuvian (R’lyehian), reconstructing its phonology, morphology, and syntax into a dual-register system that preserves Mythos authenticity while enabling consistent English-to-Cthuvian translation and partial reverse interpretation.
This repository studies LLM autoformalization on Rzk/sHoTT body-completion tasks, with an emphasis on shape-heavy held-out definitions, lightweight structural priors, repair, routing, and Lean portability checks.
Vector Calculus · 13 sections · PDF and TeX source available in the INM archive.
Vector Calculus · 14 sections · PDF and TeX source available in the INM archive.
Vector Calculus · 13 sections · PDF and TeX source available in the INM archive.
Vector Calculus · 14 sections · PDF and TeX source available in the INM archive.
Vector Calculus · 13 sections · PDF and TeX source available in the INM archive.
Vector Calculus · 13 sections · PDF and TeX source available in the INM archive.
Multivariable Calculus · 7 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 14 sections · PDF and TeX source available in the INM archive.
Multivariable Calculus · 8 sections · PDF and TeX source available in the INM archive.
Multivariable Calculus · 8 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 13 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 12 sections · PDF and TeX source available in the INM archive.
Multivariable Calculus · 8 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 9 sections · PDF and TeX source available in the INM archive.
Multivariable Calculus · 8 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 8 sections · PDF and TeX source available in the INM archive.
Machine Learning · 15 sections · PDF and TeX source available in the INM archive.
A conceptual survey on structuring implicit mathematical reasoning for retrieval-augmented systems.
A technical diary on service routing, deployment constraints, and compliance-aware workarounds during an ICP filing window.
Engineering notes on a multimodal customer-emotion recognition system for banking quality inspection.
A development diary on migrating a project from Vite to Next.js under deployment and routing constraints.
A banking customer-emotion recognition system based on Qwen2-Audio 7B, using a dual-path audio pipeline to adapt to different call-recording qualities and service scenarios.
Calculus · 16 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 33 sections · PDF and TeX source available in the INM archive.
Linear Algebra · 34 sections · PDF and TeX source available in the INM archive.
A correction of an earlier analytic reading of $0=1-1=-1+1=0$ toward K-theoretic and homotopical meaning.
Topology and Homotopy · 15 sections · PDF and TeX source available in the INM archive.
The personal academic portal and archive behind this site, integrating mathematical notes, projects, fragments, classical writing, and research records.
A Python pipeline for converting PDFs into structured text and generating AI-assisted summaries, keywords, and reusable reading notes.