Tootfinder

Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem
Muhammad Maaz, Liam DeVoe, Zac Hatfield-Dodds, Nicholas Carlini
https://arxiv.org/abs/2510.09907 https:/…

Agentic Property-Based Testing: Finding Bugs Across the Python Ecosystem
Property-based testing (PBT) is a lightweight formal method, typically implemented as a randomized testing framework. Users specify the input domain for their test using combinators supplied by the PBT framework, and the expected properties or invariants as a unit-test function. The framework then searches for a counterexample, e.g. by generating inputs and calling the test function. In this work, we demonstrate an LLM-based agent which analyzes Python modules, infers function-specific and cros…

Inequalities, identities, and bounds for divided differences of the exponential function
Qiulin Zeng, Nicholas Ezzell, Arman Babakhani, Itay Hen, Lev Barash
https://arxiv.org/abs/2510.10724

Inequalities, identities, and bounds for divided differences of the exponential function
Let $\exp[x_0,x_1,\dots,x_n]$ denote the divided difference of the exponential function. (i) We prove that exponential divided differences are log-submodular. (ii) We establish the four-point inequality $ \exp[a,a,b,c]\,\exp[d,d,b,c]+\exp[b,b,a,d]\,\exp[c,c,a,d]-\exp[a,b,c,d]^2 \ge 0 $ for all $ a,b,c,d \in \mathbb{R} $. (iii) We obtain sharp two-sided bounds for $\exp[x_0,\dots,x_n]$ at fixed mean and variance; as a consequence, we derive their large-input asymptotics. (iv) We present …

Designing Control Barrier Functions Using a Dynamic Backup Policy
Victor Freire, Marco M. Nicotra
https://arxiv.org/abs/2510.09810 https://arxiv.org/pdf/25…

Designing Control Barrier Functions Using a Dynamic Backup Policy
This paper presents a systematic approach to construct control barrier functions for nonlinear control affine systems subject to arbitrary state and input constraints. Taking inspiration from the reference governor literature, the proposed method defines a family of backup policies, parametrized by the equilibrium manifold of the system. The control barrier function is defined on the augmented state-and-reference space: given a state-reference pair, the approach quantifies the distance to const…

just released liboprf-0.9.3
liboprf is a library implementing the OPRF from https://www.rfc-editor.org/rfc/rfc9497.html and in addition it also provides a threshold variant (tOPRF) and a distributed key generation (DKG) protocol for the tOPRF shared secret, as well as a key update protocol fo…

Phase Transitions of the Additive Uniform Noise Channel with Peak Amplitude and Cost Constraint
Jonas Stapmanns, Catarina Dias, Luke Eilers, Tobias K\"uhn, Jean-Pascal Pfister
https://arxiv.org/abs/2510.12427

Phase Transitions of the Additive Uniform Noise Channel with Peak Amplitude and Cost Constraint
Under which condition is quantization optimal? We address this question in the context of the additive uniform noise channel under peak amplitude and cost constraints. We compute analytically the capacity-achieving input distribution as a function of the noise level, the average cost constraint, and the curvature of the cost function. We find that when the cost function is concave, the capacity-achieving input distribution is discrete, whereas when the cost function is convex and the cost const…

Spent half a day adding error checking for errors that can't really happen anyway on the advice of a robot.
Now, instead of crashing with an error message if the input data is impossibly broken, the function instead checks if the error exists, and if so quits with an error code and a slightly different error message.
This is better code apparently. I guess when it's longer there's more to read so it's more readable.