I believe I've gotten a whole lot closer to the answer.
arxiv.org/abs/2506.01824
I'll be presenting the work at this year's @auai.org in Rio 😎
I believe I've gotten a whole lot closer to the answer.
arxiv.org/abs/2506.01824
I'll be presenting the work at this year's @auai.org in Rio 😎
For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!
For those at ICLR 🇸🇬: you can get the juicy details tomorrow (poster #414 at 15:00). Hope to see you there!
We answer these two questions in our new pre-print using the phase transition in random 3-SAT.
arxiv.org/abs/2504.039...
Together with @rishihazra95.bsky.social, @gabventurato.bsky.social and @lucderaedt.bsky.social
Here is also a longer thread:
We answer these two questions in our new pre-print using the phase transition in random 3-SAT.
arxiv.org/abs/2504.039...
Together with @rishihazra95.bsky.social, @gabventurato.bsky.social and @lucderaedt.bsky.social
Here is also a longer thread:
attention to DETIAL.
attention to DETIAL.
(Saw something like this in someone else's post but can't find it back)
(Saw something like this in someone else's post but can't find it back)
@paolomorettin.bsky.social
@paolomorettin.bsky.social
We use recursive integer arithmetic to express combinatorial problems and add uncertainty. Inference can be massively accelerated with tensors and the FFT. 🚀
We use recursive integer arithmetic to express combinatorial problems and add uncertainty. Inference can be massively accelerated with tensors and the FFT. 🚀