Spaces:
Running
Running
Update app.js
Browse files
app.js
CHANGED
|
@@ -851,7 +851,7 @@ function saveDataset() {
|
|
| 851 |
const bedrock = new BedrockRuntimeClient({ region: AWS_REGION });
|
| 852 |
|
| 853 |
// USER: replace this string with the full AXL spec text
|
| 854 |
-
const
|
| 855 |
# AXL — Abstraction Exchange Language
|
| 856 |
### A Constraint-First, Bidirectionally Navigable Abstraction Language
|
| 857 |
---
|
|
@@ -1752,13 +1752,13 @@ STRICT REQUIREMENTS:
|
|
| 1752 |
5. Every vars_text MUST start with the word VARS.
|
| 1753 |
6. Every sample must use a DIFFERENT domain or structural pattern.
|
| 1754 |
7. Vary: sense (EQUAL/MINIMIZE/MAXIMIZE/SELECT/TEND), n_vars (1-${maxVars}),
|
| 1755 |
-
abstraction depth (scope_depth 2-
|
| 1756 |
8. AXL programs must have 2-3 nested SCOPE blocks minimum.
|
| 1757 |
9. Include EMERGES for at least 40% of samples.
|
| 1758 |
10. Include STEP/CANDIDATE blocks for iterative search problems.
|
| 1759 |
11. Include CONTRADICT for problems with hard boundaries.
|
| 1760 |
12. Do NOT use domains recently overrepresented: ${recentStr}
|
| 1761 |
-
13. Be expressive, use all the information known on that problem and domain
|
| 1762 |
|
| 1763 |
JSON SCHEMA (output array of these):
|
| 1764 |
{
|
|
|
|
| 851 |
const bedrock = new BedrockRuntimeClient({ region: AWS_REGION });
|
| 852 |
|
| 853 |
// USER: replace this string with the full AXL spec text
|
| 854 |
+
const AXL_SPEC = `
|
| 855 |
# AXL — Abstraction Exchange Language
|
| 856 |
### A Constraint-First, Bidirectionally Navigable Abstraction Language
|
| 857 |
---
|
|
|
|
| 1752 |
5. Every vars_text MUST start with the word VARS.
|
| 1753 |
6. Every sample must use a DIFFERENT domain or structural pattern.
|
| 1754 |
7. Vary: sense (EQUAL/MINIMIZE/MAXIMIZE/SELECT/TEND), n_vars (1-${maxVars}),
|
| 1755 |
+
abstraction depth (scope_depth 2-10), domain.
|
| 1756 |
8. AXL programs must have 2-3 nested SCOPE blocks minimum.
|
| 1757 |
9. Include EMERGES for at least 40% of samples.
|
| 1758 |
10. Include STEP/CANDIDATE blocks for iterative search problems.
|
| 1759 |
11. Include CONTRADICT for problems with hard boundaries.
|
| 1760 |
12. Do NOT use domains recently overrepresented: ${recentStr}
|
| 1761 |
+
13. Be expressive, use all the information known on that problem and domain. minimum scope_depth: 3
|
| 1762 |
|
| 1763 |
JSON SCHEMA (output array of these):
|
| 1764 |
{
|