HackerTrans
トップ新着トレンドコメント過去質問紹介求人

jadelcastillo

no profile record

投稿

The dangerous unknowns at the heart of LLMs

yalereview.org
6 ポイント·投稿者 jadelcastillo·先月·0 コメント

Steve Eisman is cautious about LLMs, influenced by Gary Marcus

youtube.com
1 ポイント·投稿者 jadelcastillo·7 か月前·0 コメント

Nvidia executive Debora Shoquist sells $14.7M worth of NVDA stock

sec.gov
4 ポイント·投稿者 jadelcastillo·7 か月前·1 コメント

Huxley-Gödel Machine

arxiv.org
2 ポイント·投稿者 jadelcastillo·9 か月前·1 コメント

Hallucination Risk Calculator

github.com
118 ポイント·投稿者 jadelcastillo·10 か月前·42 コメント

コメント

jadelcastillo
·5 か月前·議論
In my country we say: he who robs a thief has a hundred years of pardon.
jadelcastillo
·7 か月前·議論
I think this is a good and pragmatic way to approach the use of LLM systems. By translating to an intermediate language, and then processing further symbolically. But probably you can be prompt injected also if you expose sensible "tools" to the LLM.
jadelcastillo
·9 か月前·議論
Github repo: https://github.com/metauto-ai/HGM
jadelcastillo
·9 か月前·議論
True, but reaching intelligence is more complicated than cleaning some spoons.
jadelcastillo
·9 か月前·議論
It's an interesting analogy. But one difference between dishwashers and LLMs is that you don't need to check the dishes afterward (if you maintain and use it properly).
jadelcastillo
·9 か月前·議論
Interesting approach, but I guess still lot of work to be done. I tried with this question:

"Alice has 60 brothers and she also has 212 sisters. How many sisters does Alice's brother have?"

But the generated program is not very useful:

{ "sorts": [], "functions": [], "constants": {}, "variables": [ {"name": "num_brothers_of_alice", "sort": "IntSort"}, {"name": "num_sisters_of_alice", "sort": "IntSort"}, {"name": "sisters_of_alice_brother", "sort": "IntSort"} ], "knowledge_base": [ "num_brothers_of_alice == 60", "num_sisters_of_alice == 212", "sisters_of_alice_brother == num_sisters_of_alice + 1" ], "rules": [], "verifications": [ { "name": "Alice\'s brother has 213 sisters", "constraint": "sisters_of_alice_brother == 213" } ], "actions": ["verify_conditions"] }