SalehAfroogh/Llama-3.1-8B-FLDx2-GentzenLK-seed2
8B • Updated • 20
Saleh Afroogh
SalehAfroogh
·
AI & ML interests
None yet
Recent Activity
updated a model 13 days ago
SalehAfroogh/Llama-3.1-8B-FLDx2-GentzenLK-seed2 published a model 13 days ago
SalehAfroogh/Llama-3.1-8B-FLDx2-GentzenLK-seed2 updated a model 13 days ago
SalehAfroogh/Llama-3.1-8B-FLDx2-GentzenLK-seed1Organizations
models 13
SalehAfroogh/Llama-3.1-8B-FLDx2-GentzenLK-seed1
8B • Updated • 18
SalehAfroogh/Llama-3.1-8B-FLDx2-GentzenLK-seed0
8B • Updated • 24
SalehAfroogh/Llama-3.1-8B-FLDx2-Fitch-seed2
8B • Updated • 18
SalehAfroogh/Llama-3.1-8B-FLDx2-Fitch-seed1
8B • Updated • 13
SalehAfroogh/Llama-3.1-8B-FLDx2-Fitch-seed0
8B • Updated • 14
SalehAfroogh/Llama-3.1-8B-FLDx2-SuppesLemmon-seed2
8B • Updated • 19
SalehAfroogh/Llama-3.1-8B-FLDx2-SuppesLemmon-seed1
8B • Updated • 16
SalehAfroogh/Llama-3.1-8B-FLDx2-SuppesLemmon-seed0
8B • Updated • 30
SalehAfroogh/proof-system-comparison-llama-suppes-lemmon-instruct
8B • Updated • 16