Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.19657

BioPRM: Step-Level Consistency Verification of Biological Protocols

Bowen Shao·Ziyang Ling·Ronald Xu·Mingzhai Sun
View original source ↗Read source document ↗Export metadata ↓

Abstract

Process reward models (PRMs) provide fine-grained supervision for assessing intermediate steps in language-model outputs, but their application to biological protocols presents distinct challenges. Protocol validity depends on both the appropriateness of individual operations and their consistency with the experimental objective and surrounding procedure, while experimental outcomes are typically unavailable during verification. We introduce BioPRM, a contextual process reward model for identifying procedural inconsistencies in structured biological protocols. We construct a supervision corpus from SciRecipe and protocols collected from protocols.io and Bio-protocol using LLM-assisted construction and source-specific review by personnel with biological expertise.

Explore related subjects

cs.CE

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bowen Shao, Ziyang Ling, Ronald Xu, Mingzhai Sun. 2026-10-14. BioPRM: Step-Level Consistency Verification of Biological Protocols. https://arxiv.org/abs/2610.19657

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A posteriori error bounds for cumulative energy fields in irreversible gradient damage

Cumulative energy fields in irreversible evolution depend on the loading path, even when terminal states and global work agree. We derive a posteriori bounds for these fields in scalar gradient damage with a prescribed driving density. A perturbation estimate for the incremental obstacle map yields a continuous loading history, which is enclosed by nondecreasing residual supersolutions. A primitive identity transfers this enclosure to the cumulative field. An exact endpoint-rule defect and outward arithmetic certify the output delivered by the numerical method. The analysis separates spatial, loading, and algebraic errors and gives sufficient conditions for certificate decay. Computable realizations use splines and verified supersolutions in one dimension and on two-dimensional rectangles. The production bounds cover the independently enclosed errors of all 417 saved histories from 28 adaptive calculations and all 25 fixed-parameter controls. In a narrow-localization case, the verified relative error decreases from approximately 158.78\% to below 2.125\% at a 5\% certified target. Source-oriented marking reduces accumulated matrix--vector work by 35.9\% and 51.9\% in two comparisons. A mechanically generated two-dimensional benchmark shows how auxiliary supersolutions sharpen constant barriers and enable acceptance of both loading orders.

cs.CE↗
arXiv2026

Sounds Cheesy - Bridging the Texture Gap Between Dairy and Plant-Based cheese with Non-Contact Ultrasound and AI

Plant-based cheeses often fail to reproduce the texture of dairy cheese. Closing this gap is slow because the reference methods, texture profile analysis (TPA) and sensory panels, destroy the sample and are poorly suited to screening many formulations in a timely and cost-effective manner. Here we show that non-contact, air-coupled ultrasonic imaging combined with machine learning can characterise cheese texture rapidly and without damaging the sample. Thirteen commercial products (nine dairy, four plant-based; 119 slices, 357 scans) were imaged in through-transmission at 100 kHz to give two-channel amplitude and time-of-flight C-scans, and each slice was then measured by TPA. The C-scans revealed millimetre-scale acoustic domains in ripened dairy cheeses, consistent with their fused-curd microstructure, that were absent from the homogeneous starch and oil matrix of the plant-based products. TPA showed that the texture gap is one of range and failure behaviour rather than average firmness. Mean hardness was similar for the two categories, but dairy products spanned a 7.5-fold range against 1.9-fold for plant-based products, and the plant-based products failed in a brittle, strain-softening manner rather than by ductile yielding. No single ultrasonic parameter tracked texture across products. However, a compact convolutional neural network predicted full true stress-strain loading and unloading curves from the C-scan images of unseen slices across all thirteen products without product-specific calibration. Clustering the predicted curves produced a texture map on which three plant-based slices sat with the Cheddars and one with Emmental, while soft, mozzarella-like textures remained unoccupied. The approach offers a one-minute, non-contact measurement suited to formulation screening and at-line quality control of cheese.

cs.CE↗
arXiv2026

Transverse impulse response of finite and infinite Rayleigh beams

Here, we study an undamped Rayleigh beam subjected to a concentrated transverse impulse applied at a point far from the boundaries. For a simply supported finite beam struck at its midpoint, using the modal expansion of the impulse response, a short-time asymptotic series for the response of the struck point is derived. The infinite beam impulse response is obtained as a spectral integral in two ways. The spectral integral is evaluated exactly in terms of modified Bessel functions via Laplace transform calculations. The corresponding short- and long-time asymptotics of the exact integral are consistent with the power series developed earlier and the Euler-Bernoulli beam, respectively. Direct numerical evaluation of the integral with a pre-specified error bound and numerical contour integration is also presented for verification. An ad hoc approximation is given which matches the response well for all times. The relationship between finite and infinite beam responses is examined in some detail. There are three consequences of finite length. First, the coefficients in the power series expansion contain components that decay exponentially with increasing length of the beam. Second, a smooth deviation from the infinite beam response is observed, consistent with the greatest group velocity in the beam, wherein a small precursor is detected which is consistent with broader theory. Third, a slope discontinuity is observed, corresponding to the high-frequency limit of group velocity. The full time series plot from modal expansion satisfactorily shows both the arrival and passage of these high frequency components. This paper opens the door to impact studies that are envisaged in future work.

cs.CE↗