leanexe/tests/gpt at main · jsmorph/leanexe · GitHub

Repository navigation

Name		Name	Last commit message	Last commit date
parent directory ..
Cases.lean		Cases.lean
gpt2_compare.py		gpt2_compare.py
hf_compare.py		hf_compare.py
run.sh		run.sh
sample_frequencies.py		sample_frequencies.py
sessions.sh		sessions.sh