user: barthelomew

229 karma | created 6 years ago

ML research; debargha@case.edu

recent submissions

(no title)

14 hours ago|discuss

(no title)

14 hours ago|discuss

Toward Guarantees for Clinical Reasoning in Vision Language Models (arxiv.org)

4 pts|14 hours ago|3 comments

SoTA LLM Guardrails by Trusting the Typical [ICLR 2026] (arxiv.org)

1 pts|25 days ago|discuss

(no title)

1 month ago|discuss

Predict your distributed LLM training time before you burn GPU hours (github.com)

2 pts|1 month ago|1 comment

Uncertainty Quantification for Auto Formalization [NeurIPS 2025] (github.com)

1 pts|3 months ago|discuss

(no title)

3 months ago|discuss

Race optimization algorithms with good initializations (beat them with bonuses) (debargha.com)

8 pts|3 months ago|8 comments

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

(no title)

4 months ago|discuss

ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)

326 pts|4 months ago|175 comments