$\omega$ $\aleph$ $\infty$
Mathematical Logic at Fudan

Fudan Logic Student Seminar 2025

March 25

Speaker: 朱子璇 ZHU, Zixuan. Institut für Mathematische Logik und Grundlagenforschung, Universität Münster

Time: 15:25 - 17:00. Location: HGW2403.

A rank on the imaginaries in the proper pairs of ACF

This talk explores rank notions in beautiful pairs, particularly in the theory of proper pairs of algebraically closed fields (ACF). We first introduce fundamental results on beautiful pairs and mention that, in the case of ACF, the Morley Rank and SU-Rank of real elements coincide, along with a description of their ranks in (ACF)_P. Building on Pillay's results on imaginaries in (ACF)_P, we extend this rank notion to all imaginaries in (ACF)_P^{eq}, ensuring a coherent and well-defined ranking framework.

March 21

Speaker: 张明 ZHANG, Ming. 复旦大学自然语言处理实验室

Time: 13:00 - 14:30. Location: HGW2403.

Comprehensive Analysis of LLM Evaluation Methodologies

Recently, the evaluation of Large Language Models has emerged as a popular area of research. The three crucial questions for LLM evaluation are ``what, where, and how to evaluate''. However, the existing research mainly focuses on the first two questions, which are basically what tasks to give the LLM during testing and what kind of knowledge it should deal with. As for the third question, which is about what standards to use, the types of evaluators, how to score, and how to rank, there hasn't been much discussion. In this paper, we analyze evaluation methods by comparing various criteria with both manual and automatic evaluation, utilizing onsite, crowd-sourcing, public annotators and GPT-4, with different scoring methods and ranking systems. We propose a new dataset, LLMEval and conduct evaluations on 20 LLMs. A total of 2,186 individuals participated, leading to the generation of 243,337 manual annotations and 57,511 automatic evaluation results. We perform comparisons and analyses of different settings and conduct 10 conclusions that can provide some insights for evaluating LLM in the future.