self-evolve-framework 1.4.0 → 1.6.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (171) hide show
  1. package/package.json +1 -1
  2. package/template/rules/ponytail.mdc +98 -23
  3. package/template/skills/skillopt-sleep/SKILL.md +42 -0
  4. package/template/skills/skillopt-sleep/configs/_base_/default.yaml +103 -0
  5. package/template/skills/skillopt-sleep/configs/alfworld/default.yaml +29 -0
  6. package/template/skills/skillopt-sleep/configs/docvqa/default.yaml +28 -0
  7. package/template/skills/skillopt-sleep/configs/features/soft_gate.yaml +47 -0
  8. package/template/skills/skillopt-sleep/configs/livemathematicianbench/default.yaml +22 -0
  9. package/template/skills/skillopt-sleep/configs/officeqa/default.yaml +34 -0
  10. package/template/skills/skillopt-sleep/configs/searchqa/default.yaml +32 -0
  11. package/template/skills/skillopt-sleep/configs/spreadsheetbench/default.yaml +34 -0
  12. package/template/skills/skillopt-sleep/scripts/framework/skillopt/__init__.py +28 -0
  13. package/template/skills/skillopt-sleep/scripts/framework/skillopt/config.py +282 -0
  14. package/template/skills/skillopt-sleep/scripts/framework/skillopt/datasets/__init__.py +7 -0
  15. package/template/skills/skillopt-sleep/scripts/framework/skillopt/datasets/base.py +512 -0
  16. package/template/skills/skillopt-sleep/scripts/framework/skillopt/engine/__init__.py +9 -0
  17. package/template/skills/skillopt-sleep/scripts/framework/skillopt/engine/trainer.py +2379 -0
  18. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/__init__.py +1 -0
  19. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/_template/README.md +43 -0
  20. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/_template/config_template.yaml +55 -0
  21. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/_template/env_template.py +151 -0
  22. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/_template/loader_template.py +87 -0
  23. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/__init__.py +5 -0
  24. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/adapter.py +428 -0
  25. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/dataloader.py +123 -0
  26. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/analyst_error.md +55 -0
  27. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/analyst_success.md +33 -0
  28. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/rollout_no_history.md +8 -0
  29. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/rollout_with_history.md +9 -0
  30. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/prompts/rollout_with_memory.md +16 -0
  31. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/reflect.py +4 -0
  32. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/rollout.py +366 -0
  33. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/skills/initial.md +45 -0
  34. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/__init__.py +9 -0
  35. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/alfworld_envs.py +221 -0
  36. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/alfworld_projection.py +60 -0
  37. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/alfworld_prompts.py +8 -0
  38. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/config_tw.yaml +145 -0
  39. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/env_base.py +84 -0
  40. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/env_manager.py +139 -0
  41. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/alfworld/vendor/memory.py +87 -0
  42. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/base.py +329 -0
  43. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/__init__.py +1 -0
  44. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/adapter.py +90 -0
  45. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/dataloader.py +61 -0
  46. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/evaluator.py +113 -0
  47. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/prompts/analyst_error.md +35 -0
  48. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/prompts/analyst_success.md +24 -0
  49. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/prompts/rollout_system.md +12 -0
  50. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/rollout.py +391 -0
  51. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/docvqa/skills/initial.md +11 -0
  52. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/__init__.py +1 -0
  53. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/adapter.py +129 -0
  54. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/dataloader.py +308 -0
  55. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/evaluator.py +62 -0
  56. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/prompts/analyst_error.md +37 -0
  57. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/prompts/analyst_success.md +25 -0
  58. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/prompts/rollout_system.md +12 -0
  59. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/reflect.py +4 -0
  60. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/rollout.py +434 -0
  61. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/livemathematicianbench/skills/initial.md +16 -0
  62. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/__init__.py +1 -0
  63. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/adapter.py +112 -0
  64. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/dataloader.py +71 -0
  65. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/evaluator.py +46 -0
  66. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/prompts/analyst_error.md +37 -0
  67. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/prompts/analyst_success.md +25 -0
  68. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/prompts/rollout_system.md +15 -0
  69. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/rollout.py +799 -0
  70. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/skills/initial.md +15 -0
  71. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/officeqa/tool_runtime.py +552 -0
  72. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/__init__.py +1 -0
  73. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/adapter.py +96 -0
  74. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/dataloader.py +42 -0
  75. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/evaluator.py +100 -0
  76. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/prompts/analyst_error.md +46 -0
  77. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/prompts/analyst_success.md +32 -0
  78. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/prompts/rollout_system.md +13 -0
  79. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/reflect.py +4 -0
  80. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/rollout.py +494 -0
  81. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/searchqa/skills/initial.md +3 -0
  82. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/__init__.py +5 -0
  83. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/adapter.py +159 -0
  84. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/codegen_agent.py +731 -0
  85. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/dataloader.py +37 -0
  86. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/evaluator.py +158 -0
  87. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/executor.py +67 -0
  88. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/analyst_error.md +46 -0
  89. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/analyst_success.md +32 -0
  90. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/codegen_system.md +1 -0
  91. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/critical_rules.md +9 -0
  92. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/prompts/react_system.md +21 -0
  93. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/react_agent.py +395 -0
  94. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/reflect.py +4 -0
  95. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/rollout.py +979 -0
  96. package/template/skills/skillopt-sleep/scripts/framework/skillopt/envs/spreadsheetbench/skills/initial.md +56 -0
  97. package/template/skills/skillopt-sleep/scripts/framework/skillopt/evaluation/__init__.py +13 -0
  98. package/template/skills/skillopt-sleep/scripts/framework/skillopt/evaluation/gate.py +148 -0
  99. package/template/skills/skillopt-sleep/scripts/framework/skillopt/gradient/__init__.py +15 -0
  100. package/template/skills/skillopt-sleep/scripts/framework/skillopt/gradient/aggregate.py +253 -0
  101. package/template/skills/skillopt-sleep/scripts/framework/skillopt/gradient/reflect.py +635 -0
  102. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/__init__.py +514 -0
  103. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/azure_openai.py +915 -0
  104. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/backend_config.py +185 -0
  105. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/claude_backend.py +371 -0
  106. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/codex_backend.py +666 -0
  107. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/codex_harness.py +1057 -0
  108. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/common.py +229 -0
  109. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/minimax_backend.py +277 -0
  110. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/qwen_backend.py +456 -0
  111. package/template/skills/skillopt-sleep/scripts/framework/skillopt/model/router.py +236 -0
  112. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/__init__.py +15 -0
  113. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/appendix.py +156 -0
  114. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/clip.py +109 -0
  115. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/lr_autonomous.py +108 -0
  116. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/meta_skill.py +79 -0
  117. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/rewrite.py +59 -0
  118. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/scheduler.py +127 -0
  119. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/select.py +4 -0
  120. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/skill.py +201 -0
  121. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/skill_aware.py +206 -0
  122. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/slow_update.py +396 -0
  123. package/template/skills/skillopt-sleep/scripts/framework/skillopt/optimizer/update_modes.py +135 -0
  124. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/__init__.py +63 -0
  125. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_error.md +41 -0
  126. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_error_full_rewrite.md +32 -0
  127. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_error_rewrite.md +44 -0
  128. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_success.md +36 -0
  129. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_success_full_rewrite.md +30 -0
  130. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/analyst_success_rewrite.md +33 -0
  131. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/lr_autonomous.md +20 -0
  132. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_failure.md +30 -0
  133. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_failure_full_rewrite.md +28 -0
  134. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_failure_rewrite.md +26 -0
  135. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_final.md +33 -0
  136. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_final_full_rewrite.md +28 -0
  137. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_final_rewrite.md +25 -0
  138. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_success.md +28 -0
  139. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_success_full_rewrite.md +28 -0
  140. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/merge_success_rewrite.md +25 -0
  141. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/meta_skill.md +40 -0
  142. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/ranking.md +20 -0
  143. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/ranking_rewrite.md +15 -0
  144. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/rewrite_skill.md +25 -0
  145. package/template/skills/skillopt-sleep/scripts/framework/skillopt/prompts/slow_update.md +60 -0
  146. package/template/skills/skillopt-sleep/scripts/framework/skillopt/scheduler/__init__.py +8 -0
  147. package/template/skills/skillopt-sleep/scripts/framework/skillopt/types.py +306 -0
  148. package/template/skills/skillopt-sleep/scripts/framework/skillopt/utils/__init__.py +4 -0
  149. package/template/skills/skillopt-sleep/scripts/framework/skillopt/utils/json_utils.py +172 -0
  150. package/template/skills/skillopt-sleep/scripts/framework/skillopt/utils/scoring.py +28 -0
  151. package/template/skills/ponytail/SKILL.md +0 -133
  152. package/template/skills/ponytail/scripts/hooks/claude-codex-hooks.json +0 -44
  153. package/template/skills/ponytail/scripts/hooks/copilot-hooks.json +0 -21
  154. package/template/skills/ponytail/scripts/hooks/ponytail-activate.js +0 -91
  155. package/template/skills/ponytail/scripts/hooks/ponytail-config.js +0 -122
  156. package/template/skills/ponytail/scripts/hooks/ponytail-instructions.js +0 -94
  157. package/template/skills/ponytail/scripts/hooks/ponytail-mode-tracker.js +0 -55
  158. package/template/skills/ponytail/scripts/hooks/ponytail-runtime.js +0 -68
  159. package/template/skills/ponytail/scripts/hooks/ponytail-statusline.ps1 +0 -21
  160. package/template/skills/ponytail/scripts/hooks/ponytail-statusline.sh +0 -12
  161. package/template/skills/ponytail/scripts/hooks/ponytail-subagent.js +0 -22
  162. package/template/skills/ponytail/scripts/mcp/README.md +0 -46
  163. package/template/skills/ponytail/scripts/mcp/index.js +0 -48
  164. package/template/skills/ponytail/scripts/mcp/instructions.js +0 -26
  165. package/template/skills/ponytail/scripts/mcp/package.json +0 -13
  166. package/template/skills/ponytail/scripts/mcp/test/instructions.test.js +0 -22
  167. package/template/skills/ponytail-audit/SKILL.md +0 -41
  168. package/template/skills/ponytail-debt/SKILL.md +0 -44
  169. package/template/skills/ponytail-gain/SKILL.md +0 -50
  170. package/template/skills/ponytail-help/SKILL.md +0 -69
  171. package/template/skills/ponytail-review/SKILL.md +0 -57
@@ -0,0 +1,434 @@
1
+ """LiveMathematicianBench rollout — theorem-grounded math MCQ agent."""
2
+ from __future__ import annotations
3
+
4
+ import json
5
+ import os
6
+ import time
7
+ from concurrent.futures import FIRST_COMPLETED, ThreadPoolExecutor, wait
8
+
9
+ from skillopt.envs.livemathematicianbench.evaluator import evaluate
10
+ from skillopt.model import chat_target, get_target_backend, is_target_exec_backend
11
+ from skillopt.model.codex_harness import prepare_workspace, render_skill_md, run_target_exec
12
+ from skillopt.prompts import load_prompt
13
+
14
+ def _build_system(skill_content: str) -> str:
15
+ if skill_content.strip():
16
+ skill_section = f"## Skill\n{skill_content.strip()}\n\n"
17
+ else:
18
+ skill_section = ""
19
+ return load_prompt("rollout_system", env="livemathematicianbench").format(skill_section=skill_section)
20
+
21
+
22
+ def _format_choices(choices: list[dict]) -> str:
23
+ return "\n".join(
24
+ f"{choice['label']}. {choice['text']}"
25
+ for choice in choices
26
+ )
27
+
28
+
29
+ def _build_user(
30
+ item: dict,
31
+ *,
32
+ use_theorem: bool = False,
33
+ use_sketch: bool = False,
34
+ diagnostic_mode: bool = False,
35
+ diagnostic_instruction: str = "",
36
+ diagnostic_trace_context: str = "",
37
+ ) -> str:
38
+ parts = [f"## Question\n{item['question']}", f"## Choices\n{_format_choices(item['choices'])}"]
39
+ if use_theorem and item.get("theorem"):
40
+ parts.append(f"## Theorem\n{item['theorem']}")
41
+ if use_sketch and item.get("sketch"):
42
+ parts.append(f"## Proof Sketch\n{item['sketch']}")
43
+ if diagnostic_trace_context.strip():
44
+ parts.append(
45
+ "## Previous Codex Trace Snapshot\n"
46
+ "This is a partial transcript from an earlier attempt. Use it as your current reasoning context.\n\n"
47
+ f"{diagnostic_trace_context.strip()}"
48
+ )
49
+ if diagnostic_mode and diagnostic_instruction.strip():
50
+ parts.append(f"## Training Readout\n{diagnostic_instruction.strip()}")
51
+ return "\n\n".join(parts)
52
+
53
+
54
+ def _build_codex_skill(skill_content: str) -> str:
55
+ return render_skill_md(
56
+ skill_content,
57
+ description="Dynamic ReflACT skill for solving the current LiveMathematicianBench multiple-choice question.",
58
+ preamble=(
59
+ "Use this skill when solving the current math multiple-choice question.\n"
60
+ "Inspect the option wording carefully and output only the final choice label inside <answer>...</answer>."
61
+ ),
62
+ )
63
+
64
+ def _run_codex_once(
65
+ *,
66
+ pred_dir: str,
67
+ skill_content: str,
68
+ item: dict,
69
+ model: str,
70
+ timeout: int,
71
+ use_theorem: bool = False,
72
+ use_sketch: bool = False,
73
+ diagnostic_mode: bool = False,
74
+ diagnostic_instruction: str = "",
75
+ diagnostic_trace_context: str = "",
76
+ previous_response: str = "",
77
+ ) -> tuple[str, str, str, str]:
78
+ user = _build_user(
79
+ item,
80
+ use_theorem=use_theorem,
81
+ use_sketch=use_sketch,
82
+ diagnostic_mode=diagnostic_mode,
83
+ diagnostic_instruction=diagnostic_instruction,
84
+ diagnostic_trace_context=diagnostic_trace_context,
85
+ )
86
+ task_parts = [user]
87
+ if previous_response:
88
+ task_parts.append(
89
+ "## Previous Attempt\n"
90
+ f"{previous_response}\n\n"
91
+ "Re-evaluate the exact option wording. If needed, correct it."
92
+ )
93
+ task_text = "\n\n".join(task_parts)
94
+ skill_md = _build_codex_skill(skill_content)
95
+ work_dir = os.path.join(pred_dir, "codex_exec")
96
+ prepare_workspace(work_dir=work_dir, skill_md=skill_md, task_text=task_text)
97
+ prompt = (
98
+ "Use the `skillopt-target` skill available in this workspace.\n"
99
+ "Read `task.md` and solve the multiple-choice problem.\n"
100
+ "Output only the final choice label inside <answer>...</answer>."
101
+ )
102
+ final_message, raw = run_target_exec(
103
+ work_dir=work_dir,
104
+ prompt=prompt,
105
+ model=model,
106
+ timeout=timeout,
107
+ )
108
+ return final_message or raw, raw, skill_md, task_text
109
+
110
+
111
+ def process_one(
112
+ item: dict,
113
+ out_root: str,
114
+ skill_content: str,
115
+ *,
116
+ max_turns: int = 1,
117
+ use_theorem: bool = False,
118
+ use_sketch: bool = False,
119
+ diagnostic_mode: bool = False,
120
+ diagnostic_instruction: str = "",
121
+ diagnostic_trace_context: str = "",
122
+ exec_timeout: int | None = 300,
123
+ max_completion_tokens: int = 16384,
124
+ ) -> dict:
125
+ item_id = str(item["id"])
126
+ result = {
127
+ "id": item_id,
128
+ "question": item["question"],
129
+ "task_type": item.get("theorem_type", ["math_mcq"])[0] if item.get("theorem_type") else "math_mcq",
130
+ "hard": 0,
131
+ "soft": 0.0,
132
+ "predicted_answer": "",
133
+ "predicted_label": "",
134
+ "predicted_text": "",
135
+ "correct_label": item["correct_choice"]["label"],
136
+ "correct_text": item["correct_choice"]["text"],
137
+ "response": "",
138
+ "fail_reason": "",
139
+ "agent_ok": False,
140
+ "n_turns": 0,
141
+ }
142
+
143
+ try:
144
+ pred_dir = os.path.join(out_root, "predictions", item_id)
145
+ os.makedirs(pred_dir, exist_ok=True)
146
+ llm_timeout = int(exec_timeout) if exec_timeout and int(exec_timeout) > 0 else None
147
+
148
+ if is_target_exec_backend():
149
+ from skillopt.model import azure_openai as _llm
150
+
151
+ conversation: list[dict] = []
152
+ response = ""
153
+ system = ""
154
+ user = ""
155
+ for turn in range(max_turns):
156
+ response, raw, system, user = _run_codex_once(
157
+ pred_dir=pred_dir,
158
+ skill_content=skill_content,
159
+ item=item,
160
+ model=_llm.TARGET_DEPLOYMENT,
161
+ timeout=llm_timeout,
162
+ use_theorem=use_theorem,
163
+ use_sketch=use_sketch,
164
+ diagnostic_mode=diagnostic_mode if turn == 0 else False,
165
+ diagnostic_instruction=diagnostic_instruction if turn == 0 else "",
166
+ diagnostic_trace_context=diagnostic_trace_context if turn == 0 else "",
167
+ previous_response=response if turn > 0 else "",
168
+ )
169
+ conversation.append({"type": "message", "turn": turn + 1, "content": response})
170
+ if "<answer>" in response.lower():
171
+ break
172
+
173
+ result["response"] = response
174
+ result["agent_ok"] = True
175
+ result["n_turns"] = len(conversation)
176
+
177
+ with open(os.path.join(pred_dir, "target_system_prompt.txt"), "w", encoding="utf-8") as f:
178
+ f.write(system)
179
+ with open(os.path.join(pred_dir, "target_user_prompt.txt"), "w", encoding="utf-8") as f:
180
+ f.write(user)
181
+
182
+ eval_result = evaluate(response, item["correct_choice"], item["choices"])
183
+ result["hard"] = int(eval_result["em"])
184
+ result["soft"] = eval_result["f1"]
185
+ result["predicted_answer"] = eval_result["predicted_answer"]
186
+ result["predicted_label"] = eval_result["predicted_label"]
187
+ result["predicted_text"] = eval_result["predicted_text"]
188
+ if not result["hard"]:
189
+ result["fail_reason"] = (
190
+ f"MCQ=0: predicted '{eval_result['predicted_label'] or eval_result['predicted_answer']}' "
191
+ f"but expected '{eval_result['correct_label']}'"
192
+ )
193
+ eval_detail = (
194
+ f"[EVALUATION RESULT]\n"
195
+ f"Question: {item['question']}\n"
196
+ f"Predicted label: {eval_result['predicted_label']!r}\n"
197
+ f"Predicted text: {eval_result['predicted_text']!r}\n"
198
+ f"Correct label: {eval_result['correct_label']!r}\n"
199
+ f"Correct text: {eval_result['correct_text']!r}\n"
200
+ f"Exact Match: {eval_result['em']}"
201
+ )
202
+ conversation.append({"role": "system", "content": eval_detail})
203
+ with open(os.path.join(pred_dir, "conversation.json"), "w") as f:
204
+ json.dump(conversation, f, ensure_ascii=False, indent=2)
205
+ return result
206
+
207
+ system = _build_system(skill_content)
208
+ user = _build_user(
209
+ item,
210
+ use_theorem=use_theorem,
211
+ use_sketch=use_sketch,
212
+ diagnostic_mode=diagnostic_mode,
213
+ diagnostic_instruction=diagnostic_instruction,
214
+ diagnostic_trace_context=diagnostic_trace_context,
215
+ )
216
+ conversation: list[dict] = []
217
+ response = ""
218
+
219
+ for turn in range(max_turns):
220
+ if turn == 0:
221
+ resp_text, _ = chat_target(
222
+ system=system,
223
+ user=user,
224
+ max_completion_tokens=max_completion_tokens,
225
+ retries=5,
226
+ stage="rollout",
227
+ timeout=llm_timeout,
228
+ )
229
+ else:
230
+ refinement = (
231
+ f"Your previous answer was:\n{response}\n\n"
232
+ "Re-evaluate the exact option wording. If needed, correct it. "
233
+ "Output only the final choice label inside <answer>...</answer>."
234
+ )
235
+ resp_text, _ = chat_target(
236
+ system=system,
237
+ user=refinement,
238
+ max_completion_tokens=max_completion_tokens,
239
+ retries=5,
240
+ stage="rollout",
241
+ timeout=llm_timeout,
242
+ )
243
+ response = resp_text
244
+ conversation.append({"type": "message", "turn": turn + 1, "content": resp_text})
245
+ if "<answer>" in resp_text.lower():
246
+ break
247
+
248
+ result["response"] = response
249
+ result["agent_ok"] = True
250
+ result["n_turns"] = len(conversation)
251
+
252
+ with open(os.path.join(pred_dir, "target_system_prompt.txt"), "w", encoding="utf-8") as f:
253
+ f.write(system)
254
+ with open(os.path.join(pred_dir, "target_user_prompt.txt"), "w", encoding="utf-8") as f:
255
+ f.write(user)
256
+
257
+ eval_result = evaluate(response, item["correct_choice"], item["choices"])
258
+ result["hard"] = int(eval_result["em"])
259
+ result["soft"] = eval_result["f1"]
260
+ result["predicted_answer"] = eval_result["predicted_answer"]
261
+ result["predicted_label"] = eval_result["predicted_label"]
262
+ result["predicted_text"] = eval_result["predicted_text"]
263
+
264
+ if not result["hard"]:
265
+ result["fail_reason"] = (
266
+ f"MCQ=0: predicted '{eval_result['predicted_label'] or eval_result['predicted_answer']}' "
267
+ f"but expected '{eval_result['correct_label']}'"
268
+ )
269
+
270
+ eval_detail = (
271
+ f"[EVALUATION RESULT]\n"
272
+ f"Question: {item['question']}\n"
273
+ f"Predicted label: {eval_result['predicted_label']!r}\n"
274
+ f"Predicted text: {eval_result['predicted_text']!r}\n"
275
+ f"Correct label: {eval_result['correct_label']!r}\n"
276
+ f"Correct text: {eval_result['correct_text']!r}\n"
277
+ f"Exact Match: {eval_result['em']}"
278
+ )
279
+ conversation.append({"role": "system", "content": eval_detail})
280
+
281
+ with open(os.path.join(pred_dir, "conversation.json"), "w") as f:
282
+ json.dump(conversation, f, ensure_ascii=False, indent=2)
283
+
284
+ except Exception as e: # noqa: BLE001
285
+ result["fail_reason"] = f"error: {e}"
286
+
287
+ return result
288
+
289
+
290
+ def run_batch(
291
+ items: list[dict],
292
+ out_root: str,
293
+ skill_content: str,
294
+ *,
295
+ max_turns: int = 1,
296
+ exec_timeout: int | None = 300,
297
+ workers: int = 64,
298
+ max_completion_tokens: int = 16384,
299
+ use_theorem: bool = False,
300
+ use_sketch: bool = False,
301
+ diagnostic_mode: bool = False,
302
+ diagnostic_instruction: str = "",
303
+ diagnostic_trace_context_by_id: dict[str, str] | None = None,
304
+ task_timeout: int | None = 600,
305
+ ) -> list[dict]:
306
+ exec_timeout_value = int(exec_timeout) if exec_timeout and int(exec_timeout) > 0 else 0
307
+ task_timeout_value = int(task_timeout) if task_timeout and int(task_timeout) > 0 else 0
308
+ if exec_timeout_value <= 0 or task_timeout_value <= 0:
309
+ task_timeout = None
310
+ else:
311
+ task_timeout = max(task_timeout_value, exec_timeout_value + 60)
312
+ results_path = os.path.join(out_root, "results.jsonl")
313
+ os.makedirs(out_root, exist_ok=True)
314
+
315
+ done_ids: set[str] = set()
316
+ existing: list[dict] = []
317
+ if os.path.exists(results_path):
318
+ with open(results_path) as f:
319
+ for line in f:
320
+ try:
321
+ r = json.loads(line)
322
+ done_ids.add(str(r["id"]))
323
+ existing.append(r)
324
+ except Exception:
325
+ pass
326
+
327
+ pending = [it for it in items if str(it["id"]) not in done_ids]
328
+ if not pending:
329
+ return existing
330
+
331
+ total = len(existing) + len(pending)
332
+ completed = len(existing)
333
+ correct_count = sum(1 for r in existing if r.get("hard", 0))
334
+ if existing:
335
+ print(f" [rollout] resuming: {completed}/{total} already done", flush=True)
336
+
337
+ results = list(existing)
338
+
339
+ started_at: dict[str, float] = {}
340
+
341
+ def _run_one(it: dict) -> dict:
342
+ started_at[str(it["id"])] = time.time()
343
+ return process_one(
344
+ it,
345
+ out_root,
346
+ skill_content,
347
+ max_turns=max_turns,
348
+ exec_timeout=exec_timeout,
349
+ max_completion_tokens=max_completion_tokens,
350
+ use_theorem=use_theorem,
351
+ use_sketch=use_sketch,
352
+ diagnostic_mode=diagnostic_mode,
353
+ diagnostic_instruction=diagnostic_instruction,
354
+ diagnostic_trace_context=(diagnostic_trace_context_by_id or {}).get(str(it["id"]), ""),
355
+ )
356
+
357
+ def _timeout_result(it: dict) -> dict:
358
+ correct = it.get("correct_choice") or {}
359
+ return {
360
+ "id": str(it["id"]),
361
+ "question": it.get("question", ""),
362
+ "task_type": it.get("theorem_type", ["math_mcq"])[0] if it.get("theorem_type") else "math_mcq",
363
+ "hard": 0,
364
+ "soft": 0.0,
365
+ "predicted_answer": "",
366
+ "predicted_label": "",
367
+ "predicted_text": "",
368
+ "correct_label": correct.get("label", ""),
369
+ "correct_text": correct.get("text", ""),
370
+ "response": "",
371
+ "fail_reason": f"task-timeout-{task_timeout}s",
372
+ "agent_ok": False,
373
+ "n_turns": 0,
374
+ }
375
+
376
+ def _error_result(it: dict, exc: Exception) -> dict:
377
+ res = _timeout_result(it)
378
+ res["fail_reason"] = f"error: {type(exc).__name__}: {exc}"
379
+ return res
380
+
381
+ with open(results_path, "a") as outf:
382
+ ex = ThreadPoolExecutor(max_workers=workers)
383
+ try:
384
+ futs = {
385
+ ex.submit(_run_one, it): it
386
+ for it in pending
387
+ }
388
+ pending_futs = set(futs)
389
+ while pending_futs:
390
+ done, _ = wait(pending_futs, timeout=5, return_when=FIRST_COMPLETED)
391
+ now = time.time()
392
+ timed_out = [
393
+ fut for fut in pending_futs - done
394
+ if task_timeout is not None
395
+ if str(futs[fut]["id"]) in started_at
396
+ and now - started_at[str(futs[fut]["id"])] >= task_timeout
397
+ ]
398
+ for fut in done:
399
+ pending_futs.remove(fut)
400
+ item = futs[fut]
401
+ try:
402
+ res = fut.result()
403
+ except Exception as e: # noqa: BLE001
404
+ res = _error_result(item, e)
405
+ results.append(res)
406
+ completed += 1
407
+ if res.get("hard", 0):
408
+ correct_count += 1
409
+ acc = correct_count / completed if completed else 0
410
+ print(
411
+ f" [rollout] {completed}/{total} "
412
+ f"(acc={acc:.3f}) id={res['id']} "
413
+ f"hard={res.get('hard', '?')}",
414
+ flush=True,
415
+ )
416
+ outf.write(json.dumps(res, ensure_ascii=False) + "\n")
417
+ outf.flush()
418
+ for fut in timed_out:
419
+ pending_futs.remove(fut)
420
+ res = _timeout_result(futs[fut])
421
+ results.append(res)
422
+ completed += 1
423
+ acc = correct_count / completed if completed else 0
424
+ print(
425
+ f" [rollout] {completed}/{total} "
426
+ f"(acc={acc:.3f}) id={res['id']} TIMEOUT",
427
+ flush=True,
428
+ )
429
+ outf.write(json.dumps(res, ensure_ascii=False) + "\n")
430
+ outf.flush()
431
+ finally:
432
+ ex.shutdown(wait=False, cancel_futures=True)
433
+
434
+ return results
@@ -0,0 +1,16 @@
1
+ # Live Mathematical MCQ Heuristics
2
+
3
+ ## Option Comparison
4
+ - Compare all options before committing. The correct choice is often the strongest statement justified by the question, while nearby distractors are weaker, overstrong, or miss an equality case.
5
+ - Track exact quantifiers such as "there exists", "for every", "if and only if", and "exactly when".
6
+
7
+ ## Theorem-Level Precision
8
+ - Check whether an option weakens the conclusion by dropping a characterization, equality clause, or full equivalence.
9
+ - Check whether an option overstates the theorem by upgrading regularity, removing scale restrictions, or changing an existential statement into a universal one.
10
+
11
+ ## Hypotheses
12
+ - Verify the hypotheses and domain carefully. Distractors often keep the theorem shape but alter the required assumptions.
13
+ - Pay close attention to equality cases, extremal conditions, and whether a result applies to the full family or only a restricted subfamily.
14
+
15
+ ## Final Answer
16
+ - Output the final answer as the single option label only.
@@ -0,0 +1 @@
1
+ """OfficeQA environment package for ReflACT."""
@@ -0,0 +1,112 @@
1
+ from __future__ import annotations
2
+
3
+ import os
4
+
5
+ from skillopt.datasets.base import BatchSpec
6
+ from skillopt.envs.base import EnvAdapter
7
+ from skillopt.envs.officeqa.dataloader import OfficeQADataLoader
8
+ from skillopt.envs.officeqa.rollout import run_batch
9
+
10
+
11
+ class OfficeQAAdapter(EnvAdapter):
12
+ def __init__(
13
+ self,
14
+ split_dir: str = "",
15
+ data_path: str = "",
16
+ split_mode: str = "split_dir",
17
+ split_ratio: str = "2:1:7",
18
+ split_seed: int = 42,
19
+ split_output_dir: str = "",
20
+ workers: int = 8,
21
+ analyst_workers: int = 8,
22
+ failure_only: bool = False,
23
+ minibatch_size: int = 8,
24
+ edit_budget: int = 4,
25
+ seed: int = 42,
26
+ limit: int = 0,
27
+ max_tool_turns: int = 12,
28
+ max_completion_tokens: int = 16384,
29
+ search_mode: str = "offline",
30
+ max_queries_per_turn: int = 4,
31
+ search_api_url: str = os.environ.get("OFFICEQA_SEARCH_API_URL", "http://localhost:8080/search_tool/search"),
32
+ search_auth_env: str = "OFFICEQA_CUSTOM_SEARCH_AUTH",
33
+ search_provider: str = "duckduckgo",
34
+ search_max_num_results: int = 4,
35
+ search_timeout_seconds: int = 20,
36
+ use_local_tools: bool = True,
37
+ data_dirs: list[str] | str | None = None,
38
+ docs_dirs: list[str] | str | None = None, ) -> None:
39
+ self.workers = workers
40
+ self.analyst_workers = analyst_workers
41
+ self.failure_only = failure_only
42
+ self.minibatch_size = minibatch_size
43
+ self.edit_budget = edit_budget
44
+ self.max_tool_turns = max_tool_turns
45
+ self.max_completion_tokens = int(max_completion_tokens)
46
+ self.search_mode = str(search_mode or "offline")
47
+ self.max_queries_per_turn = int(max_queries_per_turn)
48
+ self.search_api_url = str(search_api_url or "").strip()
49
+ self.search_auth_env = str(search_auth_env or "OFFICEQA_CUSTOM_SEARCH_AUTH").strip()
50
+ self.search_provider = str(search_provider or "duckduckgo").strip()
51
+ self.search_max_num_results = int(search_max_num_results)
52
+ self.search_timeout_seconds = int(search_timeout_seconds)
53
+ self.use_local_tools = bool(use_local_tools)
54
+ self.data_dirs = data_dirs if data_dirs is not None else docs_dirs
55
+ self.dataloader = OfficeQADataLoader(
56
+ split_dir=split_dir,
57
+ data_path=data_path,
58
+ split_mode=split_mode,
59
+ split_ratio=split_ratio,
60
+ split_seed=split_seed,
61
+ split_output_dir=split_output_dir,
62
+ seed=seed,
63
+ limit=limit,
64
+ )
65
+
66
+ def setup(self, cfg: dict) -> None:
67
+ super().setup(cfg)
68
+ self.dataloader.setup(cfg)
69
+
70
+ def get_dataloader(self):
71
+ return self.dataloader
72
+
73
+ def build_env_from_batch(self, batch: BatchSpec, **kwargs):
74
+ return list(batch.payload or [])
75
+
76
+ def build_train_env(self, batch_size: int, seed: int, **kwargs):
77
+ batch = self.dataloader.build_train_batch(batch_size=batch_size, seed=seed, **kwargs)
78
+ return self.build_env_from_batch(batch, **kwargs)
79
+
80
+ def build_eval_env(self, env_num: int, split: str, seed: int, **kwargs):
81
+ batch = self.dataloader.build_eval_batch(env_num=env_num, split=split, seed=seed, **kwargs)
82
+ return self.build_env_from_batch(batch, **kwargs)
83
+
84
+ def rollout(self, env_manager, skill_content: str, out_dir: str, **kwargs) -> list[dict]:
85
+ items: list[dict] = env_manager
86
+ return run_batch(
87
+ items=items,
88
+ out_root=out_dir,
89
+ skill_content=skill_content,
90
+ workers=self.workers,
91
+ max_tool_turns=self.max_tool_turns,
92
+ max_completion_tokens=self.max_completion_tokens,
93
+ search_mode=self.search_mode,
94
+ max_queries_per_turn=self.max_queries_per_turn,
95
+ search_api_url=self.search_api_url,
96
+ search_auth_env=self.search_auth_env,
97
+ search_provider=self.search_provider,
98
+ search_max_num_results=self.search_max_num_results,
99
+ search_timeout_seconds=self.search_timeout_seconds,
100
+ use_local_tools=self.use_local_tools,
101
+ data_dirs=self.data_dirs,
102
+ diagnostic_mode=kwargs.get("diagnostic_mode", False),
103
+ diagnostic_instruction=kwargs.get("diagnostic_instruction", ""),
104
+ )
105
+
106
+ def get_task_types(self) -> list[str]:
107
+ seen: list[str] = []
108
+ for item in self.dataloader.train_items + self.dataloader.val_items + self.dataloader.test_items:
109
+ task_type = str(item.get("task_type") or "officeqa")
110
+ if task_type not in seen:
111
+ seen.append(task_type)
112
+ return seen or ["officeqa"]
@@ -0,0 +1,71 @@
1
+ from __future__ import annotations
2
+
3
+ import csv
4
+ import json
5
+ import os
6
+ from pathlib import Path
7
+
8
+ from skillopt.datasets.base import SplitDataLoader
9
+
10
+
11
+ def _parse_list_field(value: str | list[str] | None) -> list[str]:
12
+ if value is None:
13
+ return []
14
+ if isinstance(value, list):
15
+ return [str(item).strip() for item in value if str(item).strip()]
16
+ text = str(value).strip()
17
+ if not text:
18
+ return []
19
+ try:
20
+ loaded = json.loads(text)
21
+ except json.JSONDecodeError:
22
+ loaded = None
23
+ if isinstance(loaded, list):
24
+ return [str(item).strip() for item in loaded if str(item).strip()]
25
+ if "\n" in text:
26
+ return [part.strip() for part in text.splitlines() if part.strip()]
27
+ if "," in text and not text.lower().endswith(".txt"):
28
+ return [part.strip() for part in text.split(",") if part.strip()]
29
+ return [text]
30
+
31
+
32
+ def _normalize_row(row: dict[str, str]) -> dict:
33
+ item_id = str(row.get("uid") or row.get("id") or "").strip()
34
+ question = str(row.get("question") or "").strip()
35
+ ground_truth = str(row.get("ground_truth") or row.get("answer") or "").strip()
36
+ task_type = str(row.get("category") or row.get("difficulty") or "officeqa").strip() or "officeqa"
37
+ source_files = _parse_list_field(row.get("source_files"))
38
+ source_docs = _parse_list_field(row.get("source_docs"))
39
+ split = str(row.get("split") or "").strip()
40
+ return {
41
+ "id": item_id,
42
+ "uid": item_id,
43
+ "question": question,
44
+ "ground_truth": ground_truth,
45
+ "answers": [ground_truth] if ground_truth else [],
46
+ "task_type": task_type,
47
+ "category": task_type,
48
+ "source_files": source_files,
49
+ "source_docs": source_docs,
50
+ "split": split,
51
+ }
52
+
53
+
54
+ class OfficeQADataLoader(SplitDataLoader):
55
+ def load_split_items(self, split_path: str) -> list[dict]:
56
+ path = Path(split_path)
57
+ csv_files = sorted(path.glob("*.csv"))
58
+ if csv_files:
59
+ with csv_files[0].open(encoding="utf-8", newline="") as f:
60
+ reader = csv.DictReader(f)
61
+ return [_normalize_row(row) for row in reader]
62
+
63
+ json_files = sorted(path.glob("*.json"))
64
+ if json_files:
65
+ with json_files[0].open(encoding="utf-8") as f:
66
+ data = json.load(f)
67
+ if not isinstance(data, list):
68
+ raise ValueError(f"Expected JSON array in {json_files[0]}")
69
+ return [_normalize_row(item) for item in data]
70
+
71
+ raise FileNotFoundError(f"No .csv or .json file found in {split_path}")
@@ -0,0 +1,46 @@
1
+ from __future__ import annotations
2
+
3
+ import re
4
+ import string
5
+ from collections import Counter
6
+
7
+
8
+ _NUMERIC_CHARS = set("0123456789.-")
9
+
10
+
11
+ def normalize_answer(text: str) -> str:
12
+ text = text.lower().strip()
13
+ text = text.replace(",", "")
14
+ text = "".join(ch for ch in text if ch not in string.punctuation or ch in _NUMERIC_CHARS or ch == "%")
15
+ text = re.sub(r"\b(million|millions|billion|billions|dollars|dollar|nominal)\b", " ", text)
16
+ text = " ".join(text.split())
17
+ return text
18
+
19
+
20
+ def exact_match(prediction: str, gold: str) -> float:
21
+ return 1.0 if normalize_answer(prediction) == normalize_answer(gold) else 0.0
22
+
23
+
24
+ def token_f1(prediction: str, gold: str) -> float:
25
+ pred_tokens = normalize_answer(prediction).split()
26
+ gold_tokens = normalize_answer(gold).split()
27
+ if not pred_tokens or not gold_tokens:
28
+ return 1.0 if pred_tokens == gold_tokens else 0.0
29
+ common = Counter(pred_tokens) & Counter(gold_tokens)
30
+ n_common = sum(common.values())
31
+ if n_common == 0:
32
+ return 0.0
33
+ precision = n_common / len(pred_tokens)
34
+ recall = n_common / len(gold_tokens)
35
+ return 2 * precision * recall / (precision + recall)
36
+
37
+
38
+ def evaluate(prediction: str, gold: str) -> dict:
39
+ em = exact_match(prediction, gold)
40
+ f1 = token_f1(prediction, gold)
41
+ return {
42
+ "em": em,
43
+ "f1": f1,
44
+ "predicted_answer": prediction.strip(),
45
+ "gold_answer": gold,
46
+ }