sun-wendy / DafnyBench

Related projects: ⓘ

• Mondego / dafny-synthesis
  Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆30Updated 3 months ago
• ise-uiuc / WhiteFox
  WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)
  ☆39Updated last week
• wcphkust / LLM-PLSE-paper
  ☆96Updated last week
• uiuc-focal-lab / syncode
  Efficient and general syntactical decoding for Large Language Models
  ☆177Updated last week
• ganler / memcov
  Collect simple coverage information in memory.
  ☆11Updated last year
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆23Updated 3 months ago
• testsmt / janus
  A tool for testing SMT solvers for incompleteness bugs
  ☆15Updated last year
• llm4code / llm4code.github.io
  The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)
  ☆13Updated 4 months ago
• jyao15 / G-CLN
  ☆10Updated last year
• ise-uiuc / xft
  XFT: Unlocking the Power of Code Instruction Tuning by Simply Merging Upcycled Mixture-of-Experts
  ☆24Updated 2 months ago
• ise-uiuc / neuri-artifact
  Artifact for ESEC/FSE'23 paper "NeuRI: Diversifying DNN Generation via Inductive Rule Inference"
  ☆29Updated 10 months ago
• r2e-project / r2e
  ☆77Updated this week
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆20Updated last year
• FP-Analysis / atomic-condition
  ☆21Updated 4 years ago
• mikekben / SLOT
  SLOT: SMT-LLVM Optimizing Translation
  ☆27Updated last year
• icsnju / MetaMut
  MetaMut is a mutation operator generator to facilitate compiler fuzzing.
  ☆17Updated last month
• purdue-cap / DryadSynth
  A SyGuS Solver
  ☆22Updated last month
• coinse / libro
  Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"
  ☆22Updated last year
• evo-eval / evoeval
  EvoEval: Evolving Coding Benchmarks via LLM
  ☆57Updated 5 months ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆66Updated 2 years ago
• SyGuS-Org / benchmarks
  Benchmarks for SyGuS Competition (SyGuS-Comp)
  ☆34Updated last year
• 95616ARG / PRDNN
  Code from PLDI '21 paper "Provable Repair of Deep Neural Networks."
  ☆10Updated last year
• ise-uiuc / NablaFuzz
  Fuzzing Automatic Differentiation in Deep-Learning Libraries (ICSE'23)
  ☆22Updated 6 months ago
• ise-uiuc / tzer
  Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.
  ☆70Updated last year
• gryan11 / cln2inv
  Open source release from our ICLR 2020 paper, CLN2INV: Learning Loop Invariants with Continuous Logic Networks.
  ☆21Updated 4 years ago
• ise-uiuc / FreeFuzz
  Free Lunch for Testing: Fuzzing Deep-Learning Libraries from Open Source (ICSE'22)
  ☆72Updated last year
• gitbugactions / gitbug-java
  A Reproducible Benchmark of Recent Java Bugs
  ☆21Updated last month
• ise-uiuc / DeepREL
  Fuzzing Deep-Learning Libraries via Automated Relational API Inference (ESEC/FSE 2022)
  ☆34Updated last year
• hephaestus-compiler-project / thalia
  A framework for testing compilers' type checkers
  ☆17Updated this week
• ise-uiuc / uniapr
  Fast and Precise On-the-fly Patch Validation for All
  ☆10Updated last year