shchegrikovich

7 ms·

1.
by shchegrikovich 2y ago
I have another example - just a few people believed that you can apply 'a simple next token prediction algorithm' and achieve what we know as LLM. From my perspective, in the past few years, we've tried a lot of different app
2.
by shchegrikovich 2y ago
The draft version of this blog was called - 'Renaissance of Programming Languages'. With so much hidden gems we are re-discovering the full potential of formal languages.
3.
by shchegrikovich 2y ago
Or something like Catala language - https://catala-lang.org/ ? Catala: A Programming Language for the Law - https://arxiv.org/abs/2103.03198
4.
by shchegrikovich 2y ago
I agree; we can do much more with LLMs if we focus on declarative-style languages.
5.
by shchegrikovich 2y ago
I discussed this a few weeks back. The idea is to take a Python dataset, as Python is the most popular language, and write a transpiler to Prolog with the help of llms. So, creating this synthetic dataset is not a huge problem.
6.
by shchegrikovich 2y ago
I think another problem which we can try to solve with this approach is factual verification.
7.
by shchegrikovich 2y ago
This is really cool!
8.
by shchegrikovich 2y ago
Have you tried - https://www.minizinc.org/ ?
9.
Use Prolog to improve LLM's reasoning(shchegrikovich.substack.com)
379 points by shchegrikovich 2y ago|155 comments
10.
Stages of LLM app value creation and development(shchegrikovich.substack.com)
2 points by shchegrikovich 3y ago|0 comments
11.
How do AI Agents think?(shchegrikovich.substack.com)
1 points by shchegrikovich 3y ago|0 comments