Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
1.
▲
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(github.com/DebarghaG)
326 points
barthelomew
8 months ago
175 comments
2.
▲
Show HN: Drop-In Out-of-Distribution Data Detector
(github.com/DebarghaG)
4 points
barthelomew
a year ago
discuss
3.
▲
Predict your distributed LLM training time before you burn GPU hours
(github.com/DebarghaG)
2 points
barthelomew
4 months ago
1 comment
4.
▲
Uncertainty Quantification for Auto Formalization [NeurIPS 2025]
(github.com/DebarghaG)
1 point
barthelomew
6 months ago
discuss