xiaoxuezhu/deepseek-math-isabelle-prover-lora
Text Generation • Updated • 14
xiaoxuezhu
xiaoxuezhu
·
AI & ML interests
None yet
Recent Activity
new activity 22 days ago
xiaoxuezhu/PSR_Selected_Isabelle_Proof_Dataset:[bot] Conversion to Parquet updated a model about 1 month ago
xiaoxuezhu/deepseek-math-isabelle-prover-lora published a model about 1 month ago
xiaoxuezhu/deepseek-math-isabelle-prover-loraOrganizations
