大约 158万 条结果
在新选项卡中打开链接
  1. New tools from Microsoft Research help developers write bug-free code, faster

    • Automation to the rescue ...
    • Find concurrency bugs faster with Project Coyote ...
    • Keep the cloud bug free by fuzzing REST APIs with RESTler ...
    • Find assurance with mathematical proofs through Project Everest ...
    • Reduce bugs in the first place with AI from CodeBERT ...
    • Learn more about Microsoft Research developments ...
    blogs.microsoft.com/ai-for-business/microsoft-research-tools-help-developers-write-bug-free-code-faster/
    blogs.microsoft.com/ai-for-business/microsoft-research-tools-help-developers-w…
    这是否有帮助?
  2. 其他用户还问了以下问题
  3. About Microsoft Research

  4. Research Tools & Data to Advance the State of the Art | Microsoft

  5. Academic Research Tools & Software | Microsoft Education

  6. AI and Microsoft Research

  7. Microsoft Research Forum | Home

  8. Eureka: Evaluating and understanding progress in AI

    网页3 天之前 · In the fast-paced progress of AI, the question of how to evaluate and understand capabilities of state-of-the-art models is timelier than ever. New and capable models are being released frequently, and each …

  9. GraphRAG: New tool for complex data discovery now …

    网页2024年7月2日 · GraphRAG uses a large language model (LLM) to automate the extraction of a rich knowledge graph from any collection of text documents. One of the most exciting features of this graph-based data …

  10. New tools from Microsoft Research help developers …

    网页2021年5月26日 · These Microsoft Research developments in testing, proof-oriented programming and natural language can help developers reach bug-free code faster. Each project automates developer tasks in different …

  11. Empowering every scientist with AI-augmented scientific discovery