@misc{indiciae4745d9966daf,
  title = {BFBrain: Scalar Bounded-From-Below Conditions from Bayesian Active Learning},
  author = {George N. Wojcik},
  year = {2024},
  url = {https://arxiv.org/abs/2309.10959},
  note = {Source identifier: 2309.10959}
}