jacklondon

8 ms·

1.
Have LLMs Learned to Reason? A Characterization via 3-SAT Phase Transition(arxiv.org)
3 points by jacklondon 6mo ago|2 comments
2.
by jacklondon 6mo ago
I found this paper quite interesting. Instead of discussing “reasoning” in a vague way, it studies LLM behavior on 3-SAT and especially near the phase transition, where the instances become much harder. This brings the discussion closer to
3.
by jacklondon 6mo ago
Very interesting. For me the key question is whether this kind of agent can generalize to real SAT application domains, not only benchmark instances. In problems like timetabling, encoding choices, auxiliary variables, and branching strateg
4.
by jacklondon 1y ago
Why not if it is to facilitate new discoveries and to extend the reach of computational tools to large swaths of clever and productive people?
5.
New DSL "MassQL" lets scientists query mass spectrometry data(news.ucr.edu)
23 points by jacklondon 1y ago|10 comments
6.
by jacklondon 1y ago
I’m curious how this compares to traditional tools (like scripting in Python/R) for analyzing such datasets, both in ease of use and performance. Also, could similar query languages be developed for other fields (genomics, imaging, etc
7.
by jacklondon 4y ago
I wonder if there is any chance the system to be also installed in Eastern Mediterranean (Greece, Italy, Turkey) which is severely affected by earthquakes all of the time?
8.
by jacklondon 4y ago
Fresh addition to the (semi-)gambling world of crypto and/or financial trading. It is interesting that it is regulated and thus it is not officially considered as "gambling" anymore. It allows registration to US residents onl
9.
A regulated exchange for event and outcome trading(kalshi.com)
1 points by jacklondon 4y ago|1 comments
10.
by jacklondon 6y ago
I found that book but haven't read it. From the description though, it appears that it forms the base material for the course. https://www.amazon.com/gp/product/B07FLQHLTK