{"id":"2306.16368","title":"Lagrangian based A* algorithm for automated reasoning","url":"https://codeofpaper.com/paper/2306.16368","arxiv_url":"https://arxiv.org/abs/2306.16368","published":"2023-06-28","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":1}