{"data":{"full_name":"Hyun-Ryu/clover","name":"clover","description":"Official code for \"Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning\", ICLR 2025.","stars":27.0,"forks":3.0,"language":"Python","license":null,"archived":0.0,"subcategory":"llm-reasoning-research","last_pushed_at":"2025-05-12T02:53:50+00:00","pypi_package":null,"npm_package":null,"downloads_monthly":0.0,"dependency_count":0.0,"commits_30d":null,"reverse_dep_count":0.0,"maintenance_score":2.0,"adoption_score":7.0,"maturity_score":8.0,"community_score":10.0,"quality_score":27.0,"quality_tier":"experimental","risk_flags":"['no_license', 'stale_6m', 'no_package', 'no_dependents']"},"meta":{"timestamp":"2026-04-12T13:03:02.169448+00:00"}}