MQC / LAB
STATUS: RESEARCHING
PLAYER 01 / AI RESEARCHER

马晴川

Qingchuan Ma

PRESS START TO EXPLORE
让机器真正理解规则。
专注于 大语言模型抽象推理、可验证评测与空间智能。

探索研究 ↘GITHUB ↗联系我 ↗
101→01?10↓1001→101✓1→0101
PLAYER 01PROFILE DATA
马晴川证件照
马晴川QINGCHUAN MA · AI RESEARCHER
▼ SCROLL TO CONTINUE
教育经历EDUCATION · XMU / AHU厦门大学 MAC 实验室 · 导师郑侠武
研究经历与论文RESEARCH · ICML / SPATIAL AI2 篇 CCF-A 论文 · 一作
01 / 个人简介与教育经历

研究智能的
边界与可能。

THINK DEEPLY. VERIFY FORMALLY.
我是马晴川，现于厦门大学人工智能研究院攻读硕士，师从郑侠武 ↗教授，参与 MAC 实验室研究。本科就读于安徽大学计算机科学与技术专业，在王逍 ↗老师指导下参与 AHU Event 实验室研究。

我关注模型是否真正学会了抽象规则，而非记住表面模式；也关注如何用形式化验证、系统性基准和高维任务，让这种能力变得可测量、可复现、可改进。
抽象推理与规则泛化ABSTRACT REASONING
形式化可验证基准VERIFIABLE EVALUATION
视觉与 3D 空间智能SPATIAL INTELLIGENCE
大模型系统评测LLM BENCHMARKING

教育经历

2025.09 — PRESENT

厦门大学 · 人工智能

硕士研究生 · 人工智能研究院
MAC 实验室 · 导师：郑侠武 ↗

MAC 实验室官网 ↗导师：郑侠武 ↗
2021.09 — 2026.06

安徽大学 · 计算机科学与技术

本科 · 计算机科学与技术学院
AHU Event 实验室 · 导师：王逍 ↗

计算机学院官网 ↗导师：王逍 ↗
02 / 研究经历与论文

代表性研究与论文

GOOGLE SCHOLAR · 9 RECORDS ↗
UNDER REVIEWFIRST AUTHOR

RoTA-Bench: Evaluating 3D Spatial Reasoning through Interactive Projection Alignment

用交互式投影对齐评估视觉模型如何从二维观察恢复三维结构、预测旋转并完成空间操作。

3D SPATIAL REASONING · VLMDEMO ↗
OTHER GOOGLE SCHOLAR RECORDS6 PAPERS + SUPPLEMENT · EXPAND +
2025 · CVPRCXPMRG-Bench: Pre-training and Benchmarking for X-ray Medical Report Generation on CheXpert Plus Dataset71 cites ↗ 2024 · arXivAn Empirical Study of Mamba-Based Pedestrian Attribute Recognition11 cites ↗ 2025 · arXivMamba-Fetrack v2: Revisiting State Space Model for Frame-Event Based Visual Object Tracking10 cites ↗ 2026 · arXivSocialOmni: Benchmarking Audio-Visual Social Interactivity in Omni Models7 cites ↗ 2024 · BICSMulti-Modal Fusion Based Q-Distribution Prediction for Controlled Nuclear Fusion4 cites ↗ 2024 · BICSExploiting Memory-Aware Q-Distribution Prediction for Nuclear Fusion via Modern Hopfield Network4 cites ↗ SUPPLEMENTCXPMRG-Bench — Supplementary MaterialScholar ↗
03 / 开源项目

开源项目与基准

VIEW ALL ON GITHUB ↗
ICML 2026 · CCF-A↗

A2RBench

Automatically generates and formally verifies abstract reasoning tasks for reproducible evaluation of language models.

PYTHON · FORMAL VERIFICATION
ICML 2025 · CCF-A↗

Abstract Reason Benchmark

理论框架与符号重映射基准，用于测量大语言模型的抽象推理能力。

PYTHON · SYMBOLIC REASONING
3D SPATIAL REASONING↗

RoTA-Bench

Interactive projection-alignment benchmark for testing how vision models infer 3D structure from 2D observations.

PYTHON · VISION-LANGUAGE MODELS