Stories by barthelomew

Uncertainty Quantification for Auto Formalization [NeurIPS 2025]

Race optimization algorithms with good initializations (beat them with bonuses)

ProofOfThought: LLM-based reasoning using Z3 theorem proving

A Deep Research Agent for Curating Vision Datasets

Provably guarantee correctness of (some of) your LLM outputs

K^4: Online Log Anomaly Detection via Unsupervised Typicality Learning

Grammars of Formal Uncertainty

Show HN: Drop-In Out-of-Distribution Data Detector

Proof of Thought: Neurosymbolic Program Synthesis for Interpretable Reasoning

Pfizer vaccine adverse event reports [pdf]