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

xiaoxuezhu 's models 1

xiaoxuezhu/deepseek-math-isabelle-prover-lora

Text Generation • Updated May 15 • 2