Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
eric-burel
77 days ago
|
parent
|
context
|
favorite
| on:
ProofOfThought: LLM-based reasoning using Z3 theor...
It's a relatively new feature, also people need actual professional training to become true LLM developers using them to their fullest and not just developers that happen to call an LLM API here and there. Takes a lot of time and effort.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: