Peiran Wu

collaborators

2 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

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…

Classifying the groups of order pq in Lean

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

Classifying the groups of order $pq$ in Lean