Peiran Wu

activity

20232025

most citedFMBench: Benchmarking Fairness in Multimodal Large Language Models on Medical Tasks

1 citations · 2 across the 3 of their papers we have counts for

collaborators

3 papers

cs.LO2025

Classifying the groups of order $pq$ in Lean

Scott Harper, Peiran Wu

This note discusses our formalisation in Lean of the classification of the groups of order $pq$ for (not necessarily distinct) prime numbers $p$ and $q$ , together with various int…

cs.CV2024★ 1 cited

FMBench: Benchmarking Fairness in Multimodal Large Language Models on Medical Tasks

Peiran Wu, Che Liu, Canyu Chen +3

Advancements in Multimodal Large Language Models (MLLMs) have significantly improved medical task performance, such as Visual Question Answering (VQA) and Report Generation (RG). H…

math.GR2023★ 1 cited

Irredundant bases for the symmetric group

Colva M. Roney-Dougal, Peiran Wu

An irredundant base of a group $G$ acting faithfully on a finite set $Γ$ is a sequence of points in $Γ$ that produces a strictly descending chain of pointwise stabiliser subgroups…

Classifying the groups of order pq in Lean

FMBench: Benchmarking Fairness in Multimodal Large Language Models on Medical Tasks

Irredundant bases for the symmetric group

Classifying the groups of order $pq$ in Lean