You can deploy this model and start earning money today!

script-jpg/
minif2f_test-first40-in-fix

Views

No views yet

From the AI-MO/minif2f_test but I replace in with ∈ in the formal_statement column because in led to some errors on my lean.

dataset_info:

features:

name: name dtype: string
name: informal_prefix dtype: string
name: formal_statement dtype: string splits:
name: train num_bytes: 25079 num_examples: 40 download_size: 17004 dataset_size: 25079 configs:
config_name: default data_files:
- split: train path: data/train-*

script-jpg/minif2f_test-first40-in-fix