Cover Image

LeanBET: Formally-verified surface area calculations in Lean

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ugwuanyi, Ejike D., Jones, Colin T., Velkey, John, Josephson, Tyler R.
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Mathematical Software Chemical Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formalizing dimensional analysis using the Lean theorem prover
by: Bobbin, Maxwell P., et al.
Published: (2025)

Benchmarking Energy Calculations Using Formal Proofs
by: Ugwuanyi, Ejike D., et al.
Published: (2025)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
by: Altuntas, Alper, et al.
Published: (2025)

Formalizing CHSH Rigidity in Lean 4
by: Zhao, Tianrun, et al.
Published: (2026)

Scalable Automated Verification for Cyber-Physical Systems in Isabelle/HOL
by: Munive, Jonathan Julián Huerta y, et al.
Published: (2024)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
by: Kaufmann, Matt, et al.
Published: (2025)

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
by: Moreira, Walter, et al.
Published: (2026)

Formal Verification of Isothermal Chemical Reactors
by: Feyzishendi, Parivash, et al.
Published: (2025)

Formalization of physics index notation in Lean 4
by: Tooby-Smith, Joseph
Published: (2024)

SHarmonic: A fast and accurate implementation of spherical harmonics for electronic-structure calculations
by: Andrade, Xavier, et al.
Published: (2025)

Implementation of McMurchie-Davidson algorithm for Gaussian AO integrals suited for SIMD processors
by: Asadchev, Andrey, et al.
Published: (2025)

Memory-Efficient Recursive Evaluation of 3-Center Gaussian Integrals
by: Asadchev, Andrey, et al.
Published: (2022)

Formalizing Wu-Ritt Method in Lean 4
by: Xiao, Yuxuan, et al.
Published: (2026)

A Constraint-based Mathematical Modeling Library in Prolog with Answer Constraint Semantics
by: Fages, François
Published: (2024)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
by: Mohamed, Abdalrhman, et al.
Published: (2025)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
by: Bryant, Dustin, et al.
Published: (2025)

Formalizing Gröbner Basis Theory in Lean
by: Guo, Junyu, et al.
Published: (2026)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
by: Qian, Yicheng, et al.
Published: (2025)

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search
by: Lu, Jialin, et al.
Published: (2026)

The Software Landscape for the Density Matrix Renormalization Group
by: Sehlstedt, Per, et al.
Published: (2025)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
by: Gerlach, Lukas
Published: (2026)

Satisfiability.jl: Satisfiability Modulo Theories in Julia
by: Soroka, Emiko, et al.
Published: (2023)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
by: Ospanov, Azim, et al.
Published: (2025)

Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
by: Baek, Jineon, et al.
Published: (2024)

Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4
by: Mayeux, Arnaud, et al.
Published: (2026)

Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
by: Santos, Marco Dos, et al.
Published: (2025)

Proceedings 14th International Conference on Automated Deduction in Geometry
by: Quaresma, Pedro, et al.
Published: (2024)

Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
by: Zhang, Junchao
Published: (2025)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
by: Lopez-Miguel, Ignacio D., et al.
Published: (2025)

Intuitionistic Propositional Logic in Lean
by: Trufaş, Dafina
Published: (2024)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
by: Wojtak, Connor, et al.
Published: (2025)

Formalizing UML State Machines for Automated Verification -- A Survey
by: André, Étienne, et al.
Published: (2024)

Smart Contracts Formal Verification: A Systematic Literature Review
by: Davila, Rene, et al.
Published: (2025)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
by: ter Beek, Maurice H., et al.
Published: (2026)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
by: Lanzinger, Florian, et al.
Published: (2024)

Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
by: Li, Letitia W., et al.
Published: (2026)

Formalizing zeta and L-functions in Lean
by: Loeffler, David, et al.
Published: (2025)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
by: Pusceddu, Daniele, et al.
Published: (2024)

Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
by: Huang, Yihe, et al.
Published: (2026)

LeanAgent: Lifelong Learning for Formal Theorem Proving
by: Kumarappan, Adarsh, et al.
Published: (2024)