Dianqiao Lei — Personal Homepage

Built from Jon Barron's website template, in the same style as the reference site you shared.

Preview locally

Just double-click index.html, or run:

open index.html

What I still need from you

1. Links to fill in index.html (search for TODO)

• Google Scholar profile URL
• GitHub profile URL (e.g. https://github.com/yourname)
• Twitter/X URL (optional — delete the line if you don't want it)
• WeChat — provide a QR image as images/wechat.jpg (optional — delete the line if not needed)

2. Images to drop into the images/ folder

Use these exact file names and the page will pick them up automatically (until then a gray placeholder is shown, so nothing looks broken).

File name	What it is	Suggested size
profile.jpg	Your profile photo (shown as a circle)	square, ~500×500 px
pub_thinkless.png	Teaser for Think Less, Act Early	~600×450 px
pub_llmthinking.png	Teaser for LLMs Keep Thinking When Told Not To	~600×450 px
pub_cosa3d.png	Teaser for CoSA-3D	~600×450 px

All institution / lab logos are already in place: logo_tvg.svg (Torr Vision Group), logo_atom.png (THU-ATOM Lab), logo_idlab.png (iDLab), logo_tsinghua.svg (Tsinghua University seal), logo_didi.svg (DiDi). images/placeholder.svg and images/favicon.svg are also generated — no need to touch them.

3. Things to double-check

• The News dates are year-only for now ([2026], [2025]…). Tell me the months and I'll make them precise.
• Paper links (project page / arXiv / code) are commented out in index.html. Send me the URLs and I'll wire them in.
• Confirm your major name: I wrote "Mechanics and Vehicle Engineering, Xingjian College".

Deploy to GitHub Pages

1. Create a public GitHub repo named exactly <your-username>.github.io.
2. Push these files to it:

   cd /Users/dianqiao/Desktop/CV_Homepage
   git init
   git add .
   git commit -m "Initial homepage"
   git branch -M main
   git remote add origin https://github.com/<your-username>/<your-username>.github.io.git
   git push -u origin main

3. On GitHub: Settings → Pages → Build and deployment → Source: Deploy from a branch, pick main / / (root), and save.
4. Your site goes live at https://<your-username>.github.io in a minute or two.

(Tell me your GitHub username and I can run the git steps for you.)