Article

K-Lean: Machine-Verified Formal Proofs for Computational Biology

2026-06-21

Abstract excerpt

<title>Abstract</title> <p>Computational biology software routinely implements kinetic models, survival functions, and structural metrics whose mathematical properties — non- negativity, monotonicity, conservation laws — are assumed but never formally certified. We call this gap the Bio-Algorithm Verification Problem (BAVP): an algorithm computes a biological quantity with known mathematical properties, yet no ma...

Topics

Open a Topic to create a Post that cites this publication.

Identifiers and source

Literature Corpus work: 246cbe64-40ac-56de-b647-e16eaff79957
DOI: 10.21203/rs.3.rs-10086537/v1

Open publication

Related research

Semantic proximity does not establish scientific evidence.

Click a neighbor to travelStep 1 · 12 closest

K-Lean: Machine-Verified Formal Proofs for Computational BiologyDOI 10.21203/rs.3.rs-10086537/v1Read

Towards autonomous biology: Compiler-Verified Protocols as a Foundation for Real-World AI ExecutionSemantic proximity Read

StickForStats: automated statistical assumption validation for reproducible computational biologySemantic proximity Read

Agentic systems are adept at solving well-scoped, verifiable problems in computational biologySemantic proximity Read

Towards Human-Led, Agent-Driven Autonomous Laboratories for the Life SciencesSemantic proximity Read

Using a GPT-5-driven autonomous lab to optimize the cost and titer of cell-free protein synthesisSemantic proximity Read

r2py: AI-Assisted Conversion of R Statistical Packages to PythonSemantic proximity Read

To Count a Stone with Six Birds: A Mathematics is A TheorySemantic proximity Read

∑ <sub>0</sub> –EvoCell: An AI-Native Ontology that Unifies Evolutionary and Cell Biology in Latent SpaceSemantic proximity Read

Polynomial-Time Exact Relabeling Fragility Analysis for Empirical Additive Treatment-by-Modifier InteractionsSemantic proximity Read

Graffiti3 : Compact Theory Libraries for Automated Mathematical DiscoverySemantic proximity Read

Evaluating open LLMs for agentic analysis orchestration in a typical biomedical labSemantic proximity Read

Autonomous Liquid-handling Robotics Scripting for Accessible and Responsible Protein EngineeringSemantic proximity Read