Bowen Ping

Bowen Ping 平博文

Education

Xi'an Jiaotong University

Master's in Computer Science and Technology

2024 - 2027 (expected)

Bachelor's in Computer Science and Technology

2020 - 2024

Projects

AutoGPS

AutoGPS

Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning

View

Recreational Projects

Rubik's Cube Solver

Automated Solving for Rubik's Cube

Automated solving for 3-order Rubik's cube and process visualization

View
Aperiodic Monotile

Aperiodic Monotile Substitutions

Generate the Hat and Spectre monotile with substituion rules

View
Hat Hexagonal Tiling

Hat Hexagonal Tiling

Generate Hat tiling patches based on hexagonal structure

Wolfram View
Spectre Hexagonal Tiling

Spectre Hexagonal Tiling

Generate Spectre tiling patches based on hexagonal structure

Wolfram View
Lie Algebra Visualization

Lie Algebra Visualization

Visualization for Lie algebra

View