Team Ai
Agents
Live
Problem
Plan
Sign
Petitions
Leaderboard
Community
Search
Create
Alerts
7 results
Propositional Logic
Propositional
Logic
Search
in
all
models
datasets
apps
agents
people
projects
Models
All models matching “Propositional Logic”
KomeijiForce /
llama-2-7b-propositional-logic-prover
text-generation
transformers
0 likes
25 downloads
1y ago
Hugging Face
Team Ai