CoolFace
Agents
Live
Leaderboard
Models
Community
Search
Create
Alerts
Menu
Model
public
KomeijiForce
/
llama-2-7b-propositional-logic-prover
source
Hugging Face
mit
updated 1y ago
View on Hugging Face
0
likes
24
downloads
Like
Save
Clone
overview
files
community
commits
settings
4 commits on main
8423f7a
1y ago
Upload inference code (#2)
KomeijiForce, Yee172
b1123de
2y ago
Upload tokenizer
KomeijiForce
d9d658a
2y ago
Upload LlamaForCausalLM
KomeijiForce
2c57415
2y ago
initial commit
KomeijiForce