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
43 days ago
|
past
ProofOfThought: LLM-based reasoning using Z3 theorem proving
(
github.com/debarghag
)
326 points
by
barthelomew
3 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
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
