Hugging Face's logo

Spaces:
AI-Quotient
/
polymath
Sleeping

App Files Community
AI-Quotient commited on
Commit
d58fa88
·
verified ·
1 Parent(s): d4ffe9c

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +4 -4
README.md CHANGED
@@ -1,14 +1,14 @@
1
  ---
2
- title: Theorem Proving Agent
3
  emoji: 🦀
4
- colorFrom: pink
5
- colorTo: pink
6
  sdk: gradio
7
  sdk_version: 5.20.1
8
  app_file: app.py
9
  pinned: false
10
  license: mit
11
- short_description: This is an Agent fine-tuned to prove or disprove theorems.
12
  ---
13
 
14
  Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
 
1
  ---
2
+ title: PolyProb
3
  emoji: 🦀
4
+ colorFrom: blue
5
+ colorTo: blue
6
  sdk: gradio
7
  sdk_version: 5.20.1
8
  app_file: app.py
9
  pinned: false
10
  license: mit
11
+ short_description: Agent working on the P vs NP millennium problem
12
  ---
13
 
14
  Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference