Title:	Automated Proof Strategy and Formalization in Network Science
DNr:	Berzelius-2026-202
Project Type:	LiU Berzelius
Principal Investigator:	Fiona Skerman <fiona.skerman@math.uu.se>
Affiliation:	Uppsala universitet
Duration:	2026-07-01 – 2027-01-01
Classification:	10104
Keywords:

Abstract

This project will use Berzelius to integrate open-weight reasoning and theorem-proving models into research workflows in network science and graph-based mathematical modelling. We will evaluate their utility for three tasks: critical review of mathematical drafts, generation of candidate proof strategies, and Lean 4 formalization of selected arguments.