Classical Gravity in Lean
Formalizing exact spacetimes, coordinate transformations, and black hole perturbations in Lean 4 and Mathlib, with proofs that can be checked and reused.
He Wang
Research Associate
The universe leaves traces. I look for new ways to read them.
Through gravitational waves, data, and machine learning, I follow questions across disciplines. A Quest After Perspectives is a record of that search and how it changes the way I see.
Projects
Research, tools, and teaching at the intersection of gravitational waves and artificial intelligence.
Gravitational Waves & AI
An open monograph on AI for gravitational wave data analysis, connecting signal detection, parameter estimation, and simulation-based inference with their physical and computational …
Evo-MCTS
Combining large language models, evolutionary optimization, and Monte Carlo tree search to discover algorithms for gravitational wave detection.
GWData Bootcamp
Hands-on exploration of real gravitational wave data, from Python programming to signal processing, statistical inference, and machine learning.
Hintz2026: Local Equivalence of Kerr–Newman Perturbation Systems
A standalone Lean 4 proof of the local equivalence between Kerr–Newman perturbation systems (1) and (7), for both spin signs, with reproducible source and an axiom audit.
G-LNS: Generative Large Neighborhood Search for LLM-Based Automatic Heuristic Design
🧬 Revolutionary framework that uses Large Language Models to automatically design Large Neighborhood Search operators for combinatorial optimization. Through synergy-aware co-evolution of …
GW150914 MCP Signal Search: AI-Powered Gravitational Wave Detection
🌊 AI-powered gravitational wave detection system using Model Context Protocol (MCP) for efficient parameter space exploration. Features optimization client, analysis server, and automated …
Gravitational Waves Astronomy and Beyond
A list of general and nice review articles, chapters, tutorials, blog posts and sort of materials related to Gravitational Waves Astronomy.
PyTorch Deep Learning Course Materials
Hands-on PyTorch course materials adapted from Dive into Deep Learning, with practical implementations and projects for learners with a Python foundation.
Gravitational Waves Data Analysis
All I need to know on “data analysis in gravitational-wave science”.
Survey4GWML
A survey on gravitational waves researches using machine learning techniques. (a brand-new verion is on going…)
My Dissertation [zh-CN]
Title: Research on Data Analysis of Deep Learning in Gravitational Wave Detection.
CS231n Resources
Collection & learning notes on CS231n course.
Notes & ideas
The latest entry, alongside a few discoveries from the archive.
如果有一天我足够有钱，我想办一家这样的研究所
关于理想科研环境的一些想象：以问题为中心、透明记录贡献与资助，让研究者拥有探索、试错和改变方向的空间。
没有顶刊不行，又不让你追顶刊：科研评价的悖论
关于期刊声望、人才评价与青年科研人员处境的一些观察：当公开导向与实际规则不一致时，评价应该如何改进？
面向开发者的 ChatGPT 提示工程
这是关于 DeepLearning.ai 联合 OpenAI 推出《面向开发者的 ChatGPT 提示工程》教程相关的资料整理，讲师为 DeepLearning 创始人吴恩达以及 OpenAI 开发者 Isa Fulford。 视频字幕文件已开源至 GitHub，这个帖子几乎完全 …
IAIFI Summer School & Workshop
The first annual IAIFI PhD Summer School will be held at Tufts University August 1—August 5, 2022, followed by the IAIFI Summer Workshop …
Research & sharing
Explore by topic
- Gravitational waves & astrophysics
- Machine learning
- Language models
- Scientific computing & signal processing
Recent talks
- Evo-MCTS: Gravitational-Wave Algorithm Search and Lessons for AI-Assisted Physics
- Fundamentals of AI/ML and LLMs for Gravitational Wave Search
- 基于人工智能的引力波数据分析 · Part 3
Academic background
Ph.D. in Theoretical Physics
Beijing Normal University, 2020