xiaoxuezhu

xiaoxuezhu

1

·

AI & ML interests

None yet

Recent Activity

new activity about 1 month ago

xiaoxuezhu/PSR_Selected_Isabelle_Proof_Dataset:[bot] Conversion to Parquet

updated a model about 2 months ago

xiaoxuezhu/deepseek-math-isabelle-prover-lora

published a model about 2 months ago

xiaoxuezhu/deepseek-math-isabelle-prover-lora

View all activity

Organizations

New activity in xiaoxuezhu/PSR_Selected_Isabelle_Proof_Dataset about 1 month ago

[bot] Conversion to Parquet

#1 opened about 2 months ago by

parquet-converter