xiaoxuezhu

xiaoxuezhu

1

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 1 month ago

xiaoxuezhu/PSR_Selected_Isabelle_Proof_Dataset

updated a model about 1 month ago

xiaoxuezhu/deepseek-math-isabelle-prover-lora

new activity 3 months ago

xiaoxuezhu/PSR_Selected_Isabelle_Proof_Dataset:[bot] Conversion to Parquet

View all activity

Organizations

New activity in xiaoxuezhu/PSR_Selected_Isabelle_Proof_Dataset 3 months ago

[bot] Conversion to Parquet

#1 opened 3 months ago by

parquet-converter