←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
248 points rishicomplex | 1 comments | 17 Nov 24 17:20 UTC | HN request time: 0.213s | source
Show context
sega_sai ◴[17 Nov 24 22:32 UTC] No.42167962[source]▶
I think the interface of LLM with formalized languages is really the future. Because here you can formally verify every statement and deal with hallucinations.
replies(9): >>42168164 #>>42168732 #>>42168855 #>>42169086 #>>42169255 #>>42169394 #>>42169686 #>>42171742 #>>42176215 #
samweb3 ◴[18 Nov 24 02:03 UTC] No.42169086[source]▶
I am building Memelang (memelang.net) to help with this as well. I'd love your thoughts if you have a moment!
replies(3): >>42169732 #>>42169758 #>>42171015 #
1. chvid ◴[18 Nov 24 09:37 UTC] No.42171015[source]▶
Maybe include a section titled 'how is this different from and how is it related to' ie. relational algebra?