Formalizing and Testing Function Boolean Conjectures with LLMs

Durham University

University of Portsmouth

Keele University

University of Birmingham

Edinburgh Napier University

University of Southampton

University of Birmingham

University of Aberdeen

University of Aberdeen

University of Aberdeen

University of Aberdeen

University of Aberdeen

University of Aberdeen

University of Aberdeen

University of Aberdeen

University of Aberdeen

University of Aberdeen

Loughborough University

Edinburgh Napier University

University of Portsmouth