Search results

[Lean] Audit: 11 theorem tasks are false, vacuous, or mis-specified, and 2 Decidable tasks do not reliably test executability

Status: Open.

#7 In OS-Copilot/ScienceBoard;

· ImYangC7 opened on Aug 12, 2026

Issue with Flask startup while GrassGIS runs normally (A-01 Success, A-02 Fail)

Status: Open.

#6 In OS-Copilot/ScienceBoard;

· danye0 opened on Jan 31, 2026

Issue: (seemingly)DesktopEnv/OSWorld Not Installed in VM → POST/setup/execute Fails

Status: Open.

#5 In OS-Copilot/ScienceBoard;

· Qifeng-Yuan opened on Dec 1, 2025

Start vm occur Error: The operation was canceled

Status: Open.

#4 In OS-Copilot/ScienceBoard;

· Wu-Fisher opened on Jun 14, 2025

the pre-made images from Hugging Face (WIP)

Status: Open.

#3 In OS-Copilot/ScienceBoard;

· litterGuy opened on May 30, 2025

Excellent Work! Invitation to Feature ScienceBoard in Our Awesome Foundation Models Project

Status: Open.

#2 In OS-Copilot/ScienceBoard;

· luckyfan-cs opened on May 30, 2025

Release ScienceBoard Artifacts on Hugging Face

Status: Open.

#1 In OS-Copilot/ScienceBoard;

· NielsRogge opened on May 27, 2025