[HN Gopher] Naturalprover: Grounded Mathematical Proof Generatio...
       ___________________________________________________________________
        
       Naturalprover: Grounded Mathematical Proof Generation with Language
       Models
        
       Author : PaulHoule
       Score  : 34 points
       Date   : 2022-05-26 15:13 UTC (2 days ago)
        
 (HTM) web link (arxiv.org)
 (TXT) w3m dump (arxiv.org)
        
       | joshlk wrote:
       | They should apply "conditional deciding" to programming code
       | generation models. I don't that's been done before
        
       ___________________________________________________________________
       (page generated 2022-05-28 23:02 UTC)