Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
mejutoco
on Dec 14, 2023
|
parent
|
context
|
favorite
| on:
FunSearch: Making new discoveries in mathematical ...
I wonder how someone will integrate symbolic reasoning with LLMs, or if it will be possible.
nimski
on Dec 14, 2023
|
next
[–]
This is what we're doing. I think it's not only possible, but also necessary for applications beyond trial-and-error generation.
Malp
on Dec 14, 2023
|
prev
|
next
[–]
Ditto, this seems to have some parallels to the neurosymbolic ideas being explored by Lab V2 at ASU
1024core
on Dec 14, 2023
|
prev
[–]
LEAN
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
