{"id":"915cc57d-755a-452a-90e5-d5823d4248a6","slug":"hf-model-komeijiforce-llama-2-7b-propositional-logic-prover-1cy73u7-1e","name":"llama-2-7b-propositional-logic-prover","description":"Hugging Face model KomeijiForce/llama-2-7b-propositional-logic-prover. Task: text generation. Library: transformers. 24 downloads.","capabilities":["transformers","pytorch","llama","text-generation","license:mit","text-generation-inference","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":33.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:12.171Z"}