FrenzyMath
/

REAL-Prover

Text Generation

theorem-proving

formal-mathematics

retrieval-augmented

mathematical-reasoning

text-generation-inference

Model card Files Files and versions

mmtke commited on Jul 17

Commit

525c33f

·

verified ·

1 Parent(s): 1fc4a9b

Update config.json

Files changed (1) hide show

config.json +1 -1

config.json CHANGED Viewed

@@ -1,5 +1,5 @@
 {
-  "_name_or_path": "/AI4M/users/nhhuang/LLaMA-Factory/expr/minif2f/qwen_sft_icl-02",
   "architectures": [
     "Qwen2ForCausalLM"
   ],

 {
+  "_name_or_path": "Qwen/REAL-Prover",
   "architectures": [
     "Qwen2ForCausalLM"
   ],