HepLean: Digitalising high energy physics
J Tooby-Smith - arXiv preprint arXiv:2405.08863, 2024 - arxiv.org
We introduce HepLean, an open-source project to digitalise definitions, theorems, proofs,
and calculations in high energy physics using the interactive theorem prover Lean 4 …
and calculations in high energy physics using the interactive theorem prover Lean 4 …
[PDF][PDF] Formal Verification of Mathematics Behind Quantum Optics Experiments
L Vermeulen - mpl.mpg.de
Over the past decade, AI models trained on large datasets have demonstrated significant
potential for various applications. Unfortunately, they have not yet been able to make a field …
potential for various applications. Unfortunately, they have not yet been able to make a field …