2reb commited on
Commit
2bb8829
ยท
verified ยท
1 Parent(s): 65ef116

Upload README.md with huggingface_hub

Browse files
Files changed (1) hide show
  1. README.md +51 -28
README.md CHANGED
@@ -1,5 +1,5 @@
1
  ---
2
- title: GameTheory-Solver
3
  emoji: ๐ŸŽฏ
4
  colorFrom: blue
5
  colorTo: green
@@ -7,39 +7,62 @@ sdk: gradio
7
  sdk_version: 5.14.0
8
  app_file: app.py
9
  pinned: true
10
- license: mit
11
- short_description: AI-powered game theory problem solver
12
  tags:
13
- - game-theory
14
- - nash-equilibrium
15
- - mathematics
16
- - economics
17
- - qwen
 
 
 
 
 
 
 
18
  ---
19
 
20
- # ๐ŸŽฏ GameTheory-Solver
21
 
22
- An AI system trained to solve game theory problems with rigorous mathematical reasoning.
23
 
24
- ## Features
 
 
25
 
26
- - **Browse Examples**: Explore 100 curated problems from the [GameTheory-Bench](https://huggingface.co/datasets/2reb/GameTheory-Bench) dataset across 10 categories
27
- - **Solve Your Own**: Enter any game theory problem and get an AI-generated solution via the HuggingFace Inference API
28
- - **10 Problem Categories**: Normal form games (2ร—2 through 4ร—4), zero-sum games, sequential games, auction theory, Bayesian games, cooperative games, and mechanism design
29
 
30
- ## Supported Problem Types
 
 
 
 
31
 
32
  | Category | Solution Concepts |
33
- |----------|------------------|
34
- | Normal Form Games | Nash Equilibria (pure & mixed), dominant strategies |
35
- | Zero-Sum Games | Minimax, saddle points, mixed strategies |
36
- | Sequential Games | Backward induction, subgame perfect equilibrium |
37
- | Auction Theory | Bayesian Nash equilibrium bidding strategies |
38
- | Bayesian Games | BNE, type spaces, belief updating |
39
- | Cooperative Games | Shapley value, core, nucleolus |
40
- | Mechanism Design | VCG, incentive compatibility, revelation principle |
41
-
42
- ## Links
43
-
44
- - ๐Ÿค— [Model](https://huggingface.co/2reb/GameTheory-Solver)
45
- - ๐Ÿ“Š [Dataset](https://huggingface.co/datasets/2reb/GameTheory-Bench) (2,913 verified problems)
 
 
 
 
 
 
 
 
 
 
 
1
  ---
2
+ title: GameTheory-Solver Demo
3
  emoji: ๐ŸŽฏ
4
  colorFrom: blue
5
  colorTo: green
 
7
  sdk_version: 5.14.0
8
  app_file: app.py
9
  pinned: true
10
+ license: apache-2.0
11
+ short_description: AI game theory solver with step-by-step reasoning
12
  tags:
13
+ - game-theory
14
+ - nash-equilibrium
15
+ - mathematics
16
+ - economics
17
+ - qwen2.5
18
+ - qlora
19
+ - reasoning
20
+ - demo
21
+ models:
22
+ - 2reb/GameTheory-Solver
23
+ datasets:
24
+ - 2reb/GameTheory-Bench
25
  ---
26
 
27
+ # ๐ŸŽฏ GameTheory-Solver Demo
28
 
29
+ **An interactive demo for the [GameTheory-Solver](https://huggingface.co/2reb/GameTheory-Solver) model โ€” a QLoRA fine-tuned Qwen2.5-7B that solves game theory problems with step-by-step mathematical reasoning.**
30
 
31
+ [![Model](https://img.shields.io/badge/๐Ÿค—_Model-GameTheory--Solver-orange)](https://huggingface.co/2reb/GameTheory-Solver)
32
+ [![Dataset](https://img.shields.io/badge/๐Ÿ“Š_Dataset-GameTheory--Bench-yellow)](https://huggingface.co/datasets/2reb/GameTheory-Bench)
33
+ [![License](https://img.shields.io/badge/License-Apache_2.0-green.svg)](https://opensource.org/licenses/Apache-2.0)
34
 
35
+ ---
36
+
37
+ ## โœจ Features
38
 
39
+ - ๐Ÿ” **Browse Examples** โ€” Explore 100 curated problems from the [GameTheory-Bench](https://huggingface.co/datasets/2reb/GameTheory-Bench) dataset across all 10 categories
40
+ - ๐Ÿง  **Solve Your Own** โ€” Enter any game theory problem and get an AI-generated solution via the HuggingFace Inference API
41
+ - ๐Ÿ“Š **10 Problem Categories** โ€” From 2ร—2 matrix games to mechanism design
42
+
43
+ ## ๐ŸŽฎ Supported Problem Types
44
 
45
  | Category | Solution Concepts |
46
+ |---|---|
47
+ | **Normal Form Games** (2ร—2 โ†’ 4ร—4) | Nash Equilibria (pure & mixed), dominant strategies, IESDS |
48
+ | **Zero-Sum Games** | Minimax theorem, saddle points, mixed strategies |
49
+ | **Sequential Games** | Backward induction, subgame perfect equilibrium |
50
+ | **Auction Theory** | Bayesian Nash equilibrium bidding, revenue equivalence |
51
+ | **Bayesian Games** | BNE, type spaces, signaling, separating/pooling equilibria |
52
+ | **Cooperative Games** | Shapley value, core, nucleolus |
53
+ | **Mechanism Design** | VCG, incentive compatibility, revelation principle |
54
+
55
+ ## ๐Ÿ“ˆ Model Performance
56
+
57
+ | Metric | Score |
58
+ |---|:---:|
59
+ | **Overall Accuracy** | **94%** |
60
+ | **Hard Problems** | **94.4%** |
61
+ | Bayesian Games | 100% (from 0% base) |
62
+ | Mechanism Design | 100% (from 60% base) |
63
+
64
+ ## ๐Ÿ”— Links
65
+
66
+ - ๐Ÿค– **Model**: [2reb/GameTheory-Solver](https://huggingface.co/2reb/GameTheory-Solver)
67
+ - ๐Ÿ“Š **Dataset**: [2reb/GameTheory-Bench](https://huggingface.co/datasets/2reb/GameTheory-Bench) (2,913 verified problems)
68
+ - ๐Ÿ  **Base Model**: [Qwen/Qwen2.5-7B-Instruct](https://huggingface.co/Qwen/Qwen2.5-7B-Instruct)