Issues

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

  OS-Copilot/ScienceBoard#7 · Filter by author ImYangC7 opened on Aug 12, 2026

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

  OS-Copilot/ScienceBoard#6 · Filter by author danye0 opened on Jan 31, 2026
  1

  

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

  OS-Copilot/ScienceBoard#5 · Filter by author Qifeng-Yuan opened on Dec 1, 2025
  4

  

• Start vm occur Error: The operation was canceled

  OS-Copilot/ScienceBoard#4 · Filter by author Wu-Fisher opened on Jun 14, 2025
  2

  

• the pre-made images from Hugging Face (WIP)

  OS-Copilot/ScienceBoard#3 · Filter by author litterGuy opened on May 30, 2025
  1

  

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

  OS-Copilot/ScienceBoard#2 · Filter by author luckyfan-cs opened on May 30, 2025
  1

  

• Release ScienceBoard Artifacts on Hugging Face

  OS-Copilot/ScienceBoard#1 · Filter by author NielsRogge opened on May 27, 2025
  1