Hoppa till innehåll
VuFind
  • Logga in
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
Avancerad
  • Hänvisa
  • Textmeddelande
  • Skicka per e-post
  • Skriv ut
  • Exportera posten
    • Exportera till: RefWorks
    • Exportera till: EndNoteWeb
    • Exportera till: EndNote
  • Lägg till i favoriter
  • Permanent länk
Omslagsbild

Sparad:
Bibliografiska uppgifter
Huvudupphovsmän: Wei, Anjiang, Suresh, Tarun, Cao, Jiannan, Kannan, Naveen, Wu, Yuheng, Yan, Kai, Teixeira, Thiago S. F. X., Wang, Ke, Aiken, Alex
Materialtyp: Preprint
Publicerad: 2025
Ämnen:
Programming Languages
Artificial Intelligence
Computation and Language
Machine Learning
Länkar:https://arxiv.org/abs/2503.23145
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
  • Beståndsuppgifter
  • Beskrivning
  • Innehållsförteckning
  • Kommentarer
  • Liknande verk
  • Katalogiseringsuppgifter

Internet

https://arxiv.org/abs/2503.23145

Liknande verk

  • Quokka: Accelerating Program Verification with LLMs via Invariant Synthesis
    av: Wei, Anjiang, et al.
    Publicerad: (2025)
  • VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation
    av: Wei, Anjiang, et al.
    Publicerad: (2025)
  • EquiBench: Benchmarking Large Language Models' Reasoning about Program Semantics via Equivalence Checking
    av: Wei, Anjiang, et al.
    Publicerad: (2025)
  • SuperCoder: Assembly Program Superoptimization with Large Language Models
    av: Wei, Anjiang, et al.
    Publicerad: (2025)
  • SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas
    av: Wei, Anjiang, et al.
    Publicerad: (2025)

Sökalternativ

  • Sökhistorik
  • Avancerad sökning

Sök mera

  • Bläddra i katalogen
  • Bläddra alfabetiskt
  • Utforska kanaler
  • Kursböcker
  • Nytt i katalogen

Behöver du hjälp?

  • Söktips
  • Fråga biblioteket
  • Vanliga frågor