Viewing profile — shchegrikovich

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 …

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.

Or something like Catala language - https://catala-lang.org/ ? Catala: A Programming Language for the Law - https://arxiv.org/abs/2103.03198

I agree; we can do much more with LLMs if we focus on declarative-style languages.

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, creatin…

I think another problem which we can try to solve with this approach is factual verification.

This is really cool!

Have you tried - https://www.minizinc.org/ ?