Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
dappalumbo91
/
pflt-fsot
like
0
Translation
wmt/wmt14
Helsinki-NLP/opus-mt
18 languages
custom
offline
fsot
linguistics
machine-translation
evaluation
sacrebleu
ada
classical-languages
Eval Results (legacy)
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
pflt-fsot
/
formal
76.8 kB
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
dappalumbo91
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
1c6f7c7
verified
11 days ago
coq
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
fstar
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
isabelle
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
lean
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
README.md
Safe
4.42 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
assert_report.json
Safe
8.17 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
golden_fsot_pflt.json
Safe
11 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
parity_report.json
Safe
3.52 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
run_formal_asserts.py
Safe
23.2 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)
11 days ago
