dappalumbo91
/

pflt-fsot

machine-translation

classical-languages

Eval Results (legacy)

Model card Files Files and versions

pflt-fsot / data /math_microscope

1.46 MB

Ctrl+K

Ctrl+K

1 contributor

History: 1 commit

dappalumbo91's picture

v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal)

1c6f7c7 verified 11 days ago

core_misses
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
authority_cross_verify.json
1.24 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
fail_historical_manibus.json
23 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
fail_historical_token.json
23 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
fail_historical_unknown.json
23 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
fail_historical_zzzxq.json
23 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
lab_cross_verify.json
1.2 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
trace_cosmological.json
10.3 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
trace_historical.json
10.4 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
trace_linguistic.json
10.4 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
trace_mythological.json
10.4 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago
trace_quantum.json
10.4 kB
v0.2.1: FULL verification source tree (Ada + Python factory + docs + formal) 11 days ago