Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Fermat111
's Collections
ThesisNL2FOL
ThesisNL2FOL
updated
Feb 10
Translating Thought: Advancing First-Order Logic Interpretation with Llama2 and Z3 Solver
Upvote
-
Fermat111/FOL
Preview
•
Updated
Feb 10
•
43
Fermat111/FOLARIS
Updated
Feb 3
Fermat111/FOLARIS_4bits
Updated
Feb 10
•
2
Fermat111/FOLARIS_8bits
Updated
Feb 10
Upvote
-
Share collection
View history
Collection guide
Browse collections