Alternatives and similar repositories for DafnyBench:

Users that are interested in DafnyBench are comparing it to the libraries listed below

• Mondego / dafny-synthesis
  Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆37Updated 7 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆29Updated 7 months ago
• microsoft / verus-proof-synthesis
  ☆15Updated 2 months ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated last year
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆45Updated 6 months ago
• ezyang / SMT-LIB-benchmarks-pytorch-shapes
  SMT-LIB benchmarks for shape computations from deep learning models in PyTorch
  ☆18Updated 2 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆38Updated last year
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆23Updated last month
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆79Updated 3 years ago
• r2e-project / r2e
  r2e: turn any github repository into a programming agent environment
  ☆94Updated this week
• albertqjiang / Portal-to-ISAbelle
  https://albertqjiang.github.io/Portal-to-ISAbelle/
  ☆52Updated last year
• zkx06111 / ALGO
  ☆33Updated last year
• LearningOpt / pie
  ☆42Updated 6 months ago
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆52Updated 2 months ago
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆17Updated 3 weeks ago
• sree314 / simple-abstract-interpreter
  A Simple Abstract Interpreter, built for teaching purposes
  ☆18Updated 4 years ago
• praveenkulkarni1996 / awesome-program-synthesis
  An curated list of papers on program synthesis.
  ☆68Updated 5 years ago
• jyao15 / G-CLN
  ☆12Updated 2 years ago
• Intelligent-CAT-Lab / PLTranslationEmpirical
  Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…
  ☆41Updated 7 months ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated 2 years ago
• zhaoyu-li / DL4TP
  [COLM 2024] A Survey on Deep Learning for Theorem Proving
  ☆160Updated 4 months ago
• trishullab / PutnamBench
  An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
  ☆71Updated this week
• lenianiva / PyPantograph
  A Machine-to-Machine Interaction System for Lean 4.
  ☆43Updated this week
• LASER-UMASS / Diva
  DIversity in VerificAtion
  ☆7Updated last year
• DavisPL / lhs
  Yet another Rust MIR analysis tool
  ☆12Updated last month
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆120Updated last year
• grigoryfedyukovich / aeval
  AE-solver and Skolemizer
  ☆16Updated last month
• ModelInference / texada
  Efficient techniques for mining LTL formulae over linear input traces
  ☆19Updated last year
• lorisdanto / cse291-program-synthesis-loris
  Program synthesis class taught by Loris D'Antoni
  ☆27Updated last month