open-exploration

Here is 1 public repository matching this topic...

tomyimkc / verification-frontier

验证边界 · Verification Frontier — 安全扩展科学 Agent 的验证边界 / Safely Engineering the Scientific Agents. GOAI 2026 AI for Research · Open Exploration. Bilingual 中文+EN, no-login demo, deterministic reproducible package.

verification lean formal-methods reproducibility gradio goai ai4s ai-for-research scientific-agents open-exploration

Updated Aug 5, 2026
Python

Improve this page

Add a description, image, and links to the open-exploration topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the open-exploration topic, visit your repo's landing page and select "manage topics."

Learn more