Publications
Selected publications and research outputs.
VisAidMath: Benchmarking Visual-Aided Mathematical Reasoning
Jingkun Ma, Runzhe Zhan, Yang Li, Di Sun, Hou Pong Chan, Lidia S. Chao, Derek F. Wong
A benchmark for visual-aided mathematical reasoning, accepted by ACL 2026 and also recognized with the Best Paper Award at the 1st VLM4RWD Workshop at NeurIPS 2025.
FIPO-Prover: Formalization-Oriented Informal Proof Optimization for Efficient Formal Theorem Proving
Jingkun Ma*, Yuchao Wang*, Yujia Huo, Derek F. Wong
FIPO-Prover bridges the gap between informal reasoning and formal verification by optimizing an intermediate proof representation that is diagnosable, repairable, and guided by verifier feedback.
Lean2Isabelle: Factorized Cross-Assistant Proof Translation
Guanyu Liu*, Jingkun Ma*, Derek F. Wong
Lean2Isabelle factorizes Lean-to-Isabelle proof translation into statement prediction and proof generation, showing that verifier-guided RL and Lean proof inputs improve semantically accepted cross-assistant proof migration.
Activate Integrated Controllable Generation with Soft Prompt
Jingkun Ma, Runzhe Zhan, Derek F. Wong, Lidia S. Chao
A parameter-efficient soft-prompt method for controllable generation under complex multi-attribute settings.
