Search: github.com/debarghag | Heykuki News

HK

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

ProofOfThought: LLM-based reasoning using Z3 theorem proving

github.com/DebarghaG

9 months ago

326 points

2.

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

github.com/DebarghaG

a year ago

4 points

3.

Predict your distributed LLM training time before you burn GPU hours

github.com/DebarghaG

5 months ago

2 points

4.

Uncertainty Quantification for Auto Formalization [NeurIPS 2025]

github.com/DebarghaG

7 months ago

1 points