ai-research-survey

Systematic scan of agentic development research. What's signal, what's noise.
git clone https://git.shiptheloop.com/ai-research-survey.git
Log | Files | Refs

paper_type.json (210B)

      1 {
      2   "paper_type": "benchmark-creation",
      3   "reason": "Introduces FVAPPS, a new formal verification benchmark with 4,715 Lean 4 samples; baseline experiments are secondary to the benchmark contribution itself."
      4 }

Impressum · Datenschutz