| | Predict your distributed LLM training time before you burn GPU hours (github.com/debarghag) |
| 2 points by barthelomew 62 days ago | past | 1 comment |
|
| | Uncertainty Quantification for Auto Formalization [NeurIPS 2025] (github.com/debarghag) |
| 1 point by barthelomew 3 months ago | past |
|
| | ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag) |
| 326 points by barthelomew 5 months ago | past | 175 comments |
|
| | Show HN: Drop-In Out-of-Distribution Data Detector (github.com/debarghag) |
| 4 points by barthelomew on Jan 4, 2025 | past |
|
