{"id":"2410.08047","title":"Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning","url":"https://codeofpaper.com/paper/2410.08047","arxiv_url":"https://arxiv.org/abs/2410.08047","published":"2024-10-01","code":"community","best":{"full_name":"Hyun-Ryu/clover","url":"https://github.com/Hyun-Ryu/clover","tier":"high_confidence_community","stars":33,"license":null,"framework":null,"language":"Python","last_commit":"2025-05-12T02:53:50"},"most_starred_community":null,"implementations":[{"full_name":"Hyun-Ryu/clover","url":"https://github.com/Hyun-Ryu/clover","tier":"high_confidence_community","stars":33,"license":null,"framework":null,"language":"Python","last_commit":"2025-05-12T02:53:50"}],"possible_matches":0}