LeanBET supplies a fully executable, formally verified BET analysis pipeline in Lean 4 whose regression coefficients and window selections match their real-number specifications and agree with the BETSI reference to machine precision on 18 of 19 isotherms.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
LeanBET: Formally-verified surface area calculations in Lean
LeanBET supplies a fully executable, formally verified BET analysis pipeline in Lean 4 whose regression coefficients and window selections match their real-number specifications and agree with the BETSI reference to machine precision on 18 of 19 isotherms.