Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
|
from
login
Uncertainty Quantification for Auto Formalization [NeurIPS 2025]
(
github.com/debarghag
)
1 point
by
barthelomew
21 days ago
|
past
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(
github.com/debarghag
)
326 points
by
barthelomew
76 days ago
|
past
|
175 comments
Show HN: Drop-In Out-of-Distribution Data Detector
(
github.com/debarghag
)
4 points
by
barthelomew
11 months ago
|
past
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
