AgentHub: A Registry for Discoverable, Verifiable, and Reproducible AI Agents

Documenti analoghi

• WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
  di: Läufer, Konstantin, et al.
  Pubblicazione: (2024)
• On the Variability of Source Code in Maven Package Rebuilds
  di: Dietrich, Jens, et al.
  Pubblicazione: (2026)
• Beyond Local Code Optimization: Multi-Agent Reasoning for Software System Optimization
  di: Peng, Huiyun, et al.
  Pubblicazione: (2026)
• Unlocking Reproducibility: Automating re-Build Process for Open-Source Software
  di: Hassanshahi, Behnaz, et al.
  Pubblicazione: (2025)
• Can Large-Language Models Help us Better Understand and Teach the Development of Energy-Efficient Software?
  di: Hasler, Ryan, et al.
  Pubblicazione: (2024)