Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by barthelomew
Uncertainty Quantification for Auto Formalization [NeurIPS 2025]
1 points
barthelomew
2025-11-29T04:00:14Z
github.com
Race optimization algorithms with good initializations (beat them with bonuses)
8 points
barthelomew
2025-11-11T18:02:27Z
debargha.com
ProofOfThought: LLM-based reasoning using Z3 theorem proving
326 points
barthelomew
2025-10-04T18:34:23Z
github.com
A Deep Research Agent for Curating Vision Datasets
12 points
barthelomew
2025-09-29T01:59:05Z
arxiv.org
Provably guarantee correctness of (some of) your LLM outputs
3 points
barthelomew
2025-08-12T16:02:30Z
aws.amazon.com
K^4: Online Log Anomaly Detection via Unsupervised Typicality Learning
3 points
barthelomew
2025-07-30T20:58:39Z
arxiv.org
Grammars of Formal Uncertainty
34 points
barthelomew
2025-05-27T02:27:19Z
arxiv.org
Show HN: Drop-In Out-of-Distribution Data Detector
4 points
barthelomew
2025-01-04T18:08:05Z
github.com
Proof of Thought: Neurosymbolic Program Synthesis for Interpretable Reasoning
4 points
barthelomew
2025-01-04T17:55:11Z
arxiv.org
Pfizer vaccine adverse event reports [pdf]
8 points
barthelomew
2022-03-02T09:32:46Z
phmpt.org