From: janburse@fastmail.fm   
      
   What news provider are you using.   
   I am using solani.org. I see all   
      
   messages they are still there:   
      
   - 04.08.2024, 22:12 Mild Shock   
   - 11.08.2024, 23:10 clicliclic@freenet.de   
      
   Also I don't mind if they are not   
   indefinitely archived, LLM is   
      
   anyway a moving target. So who cares?   
   Just use USENET for news and   
      
   discussion as in the old times before   
   the ggexit (google groups exit).   
      
   LoL   
      
   clicliclic@freenet.de schrieb:   
   >   
   > Mild Shock schrieb:   
   >>   
   >> There are more and more papers of this sort:   
   >>   
   >> Reliable Reasoning Beyond Natural Language   
   >> To address this, we propose a neurosymbolic   
   >> approach that prompts LLMs to extract and encode   
   >> all relevant information from a problem statement as   
   >> logical code statements, and then use a logic programming   
   >> language (Prolog) to conduct the iterative computations of   
   >> explicit deductive reasoning.   
   >> [2407.11373] Reliable Reasoning Beyond Natural Language   
   >>   
   >> The future of Prolog is bright?   
   >>   
   >> [...]   
   >   
   > Thanks for the message. Unfortunately,  is no longer   
   > archived at , the last post shown there being 4 months old   
   > already (posts were anyway shown only if they received at least one   
   > answer). Newsgroups not archived and not crawled by search engines are   
   > doomed, I think.   
   >   
   > Martin.   
   >   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)