Manifund foxManifund
Home
Login
About
People
Categories
Newsletter
HomeAboutPeopleCategoriesLoginCreate
zwf225458 avatarzwf225458 avatar
Wanfu Zhuang

@zwf225458

Independent researcher focusing on finite-field extremal combinatorics, algebraic priors, and LLM program evolution. Creator of AxiomForge.

https://github.com/Zwf5458-Py
$0total balance
$0charity balance
$0cash balance

$0 in pending offers

About Me

I am an independent researcher and software engineer passionate about computational mathematics, discrete geometry, and autonomous algorithm discovery.

My primary project, AxiomForge, investigates how embedding algebraic symmetry priors and modular invariants into LLM-driven program evolution (the FunSearch paradigm) can break search bottlenecks in high-dimensional extremal combinatorics (such as the Cap Set problem in affine spaces AG(n, 3)).

I believe in transparent, reproducible science: all codebase implementations, 3D interactive slice visualizers, and benchmark logs are fully open-sourced on GitHub under the MIT License. Through Manifund, I aim to secure compute and API resources to scale heuristic exploration into 6D–8D combinatorial spaces.

Projects

AxiomForge: Exploring Algebraic Structural Priors in Heuristic Search for Extrem

pending admin approval

Comments

AxiomForge: Exploring Algebraic Structural Priors in Heuristic Search for Extrem
zwf225458 avatar

Wanfu Zhuang

about 16 hours ago

Hi everyone, I am Wanfu Zhuang, creator of AxiomForge. I want to proactively address the Pangram automated AI flag on this proposal.

As an independent researcher whose primary language is not English, I used an LLM to help translate and refine my technical draft into clear English prose.

However, 100% of the mathematical conception, algorithmic architecture, and code execution are my own original work:

1. Fully Verified Codebase: All source code is public under the MIT License at [github.com/Zwf5458-Py/AxiomForge](https://github.com/Zwf5458-Py/AxiomForge).

2. Automated CI Suite: 16 unit tests passing across Grassmannian slice projections, affine space validations, and AST syntax sanitizers.

3. Reproducibility: Features a working 3D interactive slice visualizer and reproducible benchmarks exploring finite-field Cap Sets via LLM program evolution.

I encourage reviewers and regrantors to inspect the repository directly and run the benchmarks locally. The $4,000 grant will be used strictly for compute and API credits to scale search into 6D–8D combinatorial spaces.

I am eager to answer any technical questions or feedback here in the discussion!