AxQM provides 1,019 kernel-checkable proof-synthesis tasks based on the Nielsen and Chuang quantum mechanics textbook. It utilizes a custom Lean library to enable the largest-scale formal evaluation of physics autoformalization to date.
HOW THIS AFFECTS YOU
●
researcherYou can use this to benchmark the ability of LLMs to perform rigorous, formal mathematical reasoning in physics.