Hugging Face's logo

Spaces:
ulamai
/
mathcode-mini
Running

App Files Community
przchojecki commited on
Commit
8903206
·
0 Parent(s):

publish free static MathCode Mini Space

Browse files
Files changed (3) hide show
  1. .gitignore +1 -0
  2. README.md +27 -0
  3. index.html +111 -0
.gitignore ADDED
@@ -0,0 +1 @@
 
 
1
+ .DS_Store
README.md ADDED
@@ -0,0 +1,27 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ ---
2
+ title: MathCode Mini
3
+ emoji: 🧮
4
+ colorFrom: indigo
5
+ colorTo: blue
6
+ sdk: static
7
+ app_file: index.html
8
+ license: other
9
+ tags:
10
+ - reinforcement-learning
11
+ - coding-agents
12
+ - tool-use
13
+ - code-repair
14
+ ---
15
+
16
+ # MathCode Mini
17
+
18
+ This is the free, static Hugging Face presentation for
19
+ [MathCode Mini](https://github.com/ulamai/mathcode-mini). It shows the public
20
+ expired task, action contract, and a reference-baseline reward report without
21
+ requiring hosted Python compute.
22
+
23
+ The runnable Python/Gradio implementation remains in GitHub. This static
24
+ Space intentionally does not claim to execute arbitrary model code.
25
+
26
+ See the [source repository](https://github.com/ulamai/mathcode-mini) and the
27
+ [sanitized public traces](https://huggingface.co/datasets/ulamai/mathcode-mini-traces).
index.html ADDED
@@ -0,0 +1,111 @@
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
+ <!doctype html>
2
+ <html lang="en">
3
+ <head>
4
+ <meta charset="utf-8" />
5
+ <meta name="viewport" content="width=device-width, initial-scale=1" />
6
+ <title>MathCode Mini</title>
7
+ <style>
8
+ :root {
9
+ color-scheme: dark;
10
+ --ink: #e8edf8;
11
+ --muted: #aab6d0;
12
+ --panel: rgba(20, 30, 57, 0.78);
13
+ --line: rgba(160, 180, 225, 0.2);
14
+ --accent: #93a9ff;
15
+ --good: #7ce0b2;
16
+ }
17
+ * { box-sizing: border-box; }
18
+ body {
19
+ margin: 0;
20
+ min-height: 100vh;
21
+ color: var(--ink);
22
+ font: 16px/1.55 Inter, ui-sans-serif, system-ui, -apple-system, sans-serif;
23
+ background: radial-gradient(circle at 20% 0%, #283c78 0, #111a35 42%, #080d1d 100%);
24
+ }
25
+ main { width: min(1100px, calc(100% - 32px)); margin: 0 auto; padding: 56px 0 72px; }
26
+ .eyebrow { color: var(--accent); font-weight: 700; letter-spacing: .12em; text-transform: uppercase; font-size: .78rem; }
27
+ h1 { margin: 10px 0 12px; font-size: clamp(2.5rem, 7vw, 5.4rem); line-height: .98; letter-spacing: -.06em; }
28
+ h2 { margin: 0 0 12px; font-size: 1.25rem; }
29
+ p { color: var(--muted); max-width: 72ch; }
30
+ a { color: var(--accent); }
31
+ .hero { display: grid; gap: 20px; grid-template-columns: 1.5fr 1fr; align-items: end; }
32
+ .hero-copy { padding: 18px 0; }
33
+ .badge { display: inline-block; padding: 6px 11px; border: 1px solid rgba(124, 224, 178, .35); border-radius: 999px; color: var(--good); background: rgba(124, 224, 178, .08); font-size: .85rem; }
34
+ .panel { margin-top: 28px; padding: 24px; border: 1px solid var(--line); border-radius: 18px; background: var(--panel); box-shadow: 0 18px 60px rgba(0,0,0,.18); backdrop-filter: blur(14px); }
35
+ .grid { display: grid; gap: 16px; grid-template-columns: repeat(3, 1fr); }
36
+ .card { padding: 18px; border: 1px solid var(--line); border-radius: 14px; background: rgba(10, 17, 36, .48); }
37
+ .card strong { display: block; margin-bottom: 5px; color: var(--ink); }
38
+ .actions { display: flex; flex-wrap: wrap; gap: 9px; margin: 16px 0; }
39
+ button { cursor: pointer; border: 1px solid rgba(147, 169, 255, .55); border-radius: 9px; padding: 9px 13px; color: #0b1127; background: var(--accent); font: inherit; font-weight: 700; }
40
+ button.secondary { color: var(--ink); background: transparent; }
41
+ pre { overflow: auto; margin: 14px 0 0; padding: 16px; border: 1px solid var(--line); border-radius: 10px; background: #070b17; color: #d8e1fa; font: 13px/1.5 ui-monospace, SFMono-Regular, Menlo, monospace; }
42
+ .links { display: flex; flex-wrap: wrap; gap: 18px; margin-top: 18px; }
43
+ .note { margin-top: 20px; padding-left: 14px; border-left: 3px solid var(--accent); }
44
+ @media (max-width: 760px) { .hero, .grid { grid-template-columns: 1fr; } main { padding-top: 32px; } }
45
+ </style>
46
+ </head>
47
+ <body>
48
+ <main>
49
+ <section class="hero">
50
+ <div class="hero-copy">
51
+ <div class="eyebrow">Public coding-agent RL environment</div>
52
+ <h1>MathCode<br />Mini 🧮</h1>
53
+ <p>Repair a certified bisection solver through typed repository tools,
54
+ public tests, and a terminal reward. This is an expired, visible
55
+ compatibility task for researchers to inspect and reproduce.</p>
56
+ <span class="badge">No paid Space compute required</span>
57
+ </div>
58
+ <div class="panel">
59
+ <h2>One task, real interaction</h2>
60
+ <p>The public environment includes a workspace, action budget, test
61
+ budget, state hashes, replayable events, and a visible contract
62
+ grader.</p>
63
+ <div class="links">
64
+ <a href="https://github.com/ulamai/mathcode-mini">Source on GitHub ↗</a>
65
+ <a href="https://huggingface.co/datasets/ulamai/mathcode-mini-traces">Dataset ↗</a>
66
+ </div>
67
+ </div>
68
+ </section>
69
+
70
+ <section class="panel">
71
+ <h2>Explore the public contract</h2>
72
+ <div class="grid">
73
+ <div class="card"><strong>Task</strong><span>bisect_repair_v1</span><p>Assumption-sensitive repair of a certified numerical solver.</p></div>
74
+ <div class="card"><strong>Actions</strong><span>8 typed tools</span><p>Inspect, edit, test, inspect the diff, and finish.</p></div>
75
+ <div class="card"><strong>Reward</strong><span>7 public checks</span><p>Semantic correctness, robustness, and integrity.</p></div>
76
+ </div>
77
+ <div class="actions">
78
+ <button id="run">Show reference-baseline report</button>
79
+ <button class="secondary" id="clear">Clear report</button>
80
+ </div>
81
+ <pre id="report" aria-live="polite">Click the button to display the sanitized public report.</pre>
82
+ <div class="note"><strong>Boundary:</strong> this static Space displays a
83
+ public baseline report. It does not execute arbitrary Python or expose
84
+ Ulam’s private evaluator, active tasks, or scorer credentials.</div>
85
+ </section>
86
+ </main>
87
+ <script>
88
+ const report = {
89
+ terminal_status: "completed",
90
+ terminal_success: true,
91
+ reward_scalar: 1.0,
92
+ metrics: {
93
+ semantic_correctness: 1.0,
94
+ robustness: 1.0,
95
+ integrity: 1.0,
96
+ checks_passed: 7,
97
+ checks_total: 7
98
+ },
99
+ failure_family: null,
100
+ failure_codes: [],
101
+ trace_kind: "public_reference_baseline_summary"
102
+ };
103
+ document.querySelector("#run").addEventListener("click", () => {
104
+ document.querySelector("#report").textContent = JSON.stringify(report, null, 2);
105
+ });
106
+ document.querySelector("#clear").addEventListener("click", () => {
107
+ document.querySelector("#report").textContent = "Click the button to display the sanitized public report.";
108
+ });
109
+ </script>
110
+ </body>
111
+ </html>