Submissions from github.com/debarghag

		Predict your distributed LLM training time before you burn GPU hours (github.com/debarghag)
		2 points by barthelomew 13 days ago \| past \| 1 comment
		Uncertainty Quantification for Auto Formalization [NeurIPS 2025] (github.com/debarghag)
		1 point by barthelomew 68 days ago \| past
		ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com/debarghag)
		326 points by barthelomew 4 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