Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
charcircuit
71 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
Why is it not possible? Do you think it's impossible to count? Do you think it's imposing to learn the letters in each token? Do you think combining the two is not possible.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: