HNHacker News
TopNewBestAskShowJobs

barthelomew

230 karma · joined August 19, 2019

ML research; debargha@case.edu
submissionscomments

Guardrail Your Agents with Lean

github.com·5 pts·barthelomew·
0

Labeling Copilot: An agent for automated data curation in computer vision

github.com·5 pts·barthelomew·
0

Toward Guarantees for Clinical Reasoning in Vision Language Models

arxiv.org·5 pts·barthelomew·
3

SoTA LLM Guardrails by Trusting the Typical [ICLR 2026]

arxiv.org·1 pts·barthelomew·
0

Predict your distributed LLM training time before you burn GPU hours

github.com·2 pts·barthelomew·
1

Uncertainty Quantification for Auto Formalization [NeurIPS 2025]

github.com·1 pts·barthelomew·
0

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

debargha.com·8 pts·barthelomew·
8

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com·326 pts·barthelomew·
175

A Deep Research Agent for Curating Vision Datasets

arxiv.org·12 pts·barthelomew·
0

Provably guarantee correctness of (some of) your LLM outputs

aws.amazon.com·3 pts·barthelomew·
0

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

arxiv.org·3 pts·barthelomew·
1

Grammars of Formal Uncertainty

arxiv.org·34 pts·barthelomew·
5

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

github.com·4 pts·barthelomew·
0

Proof of Thought: Neurosymbolic Program Synthesis for Interpretable Reasoning

arxiv.org·4 pts·barthelomew·
1

Pfizer vaccine adverse event reports [pdf]

phmpt.org·8 pts·barthelomew·
0