Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)
☆15Sep 21, 2025Updated 10 months ago
Alternatives and similar repositories for FormalBench
Users that are interested in FormalBench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Replication of AST Neural Network from Zhang J. et. al (2019) and application to software vulnerability detection☆12Jan 13, 2020Updated 6 years ago
- Programs for producing static and dynamic (runtime) call graphs for Java programs☆15Aug 23, 2021Updated 4 years ago
- The dataset, source code and the results of our ESEC/FSE 2023 paper "An Extensive Study on Adversarial Attack against Pre-trained Models …☆15Feb 19, 2024Updated 2 years ago
- An experimental library for metaprogramming with algebraic effects and handlers☆49Updated this week
- A Quantum Computing Library in LEAN☆17Jul 14, 2026Updated 3 weeks ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆11Jun 14, 2024Updated 2 years ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆33May 14, 2025Updated last year
- SV-Sim: Scalable PGAS-based State Vector Simulation of Quantum Circuits☆22Feb 2, 2024Updated 2 years ago
- Machine Learning for Mathematics and Logics☆16Apr 1, 2025Updated last year
- Log Parsing: How Far Can ChatGPT Go? (ASE 2023 - NIER Track)☆22Dec 7, 2023Updated 2 years ago
- ☆114Jun 2, 2026Updated 2 months ago
- A software for ScanQT hardware☆13Nov 30, 2021Updated 4 years ago
- High-performance simulator for executing QIR on GPU and CPU backends☆23Oct 2, 2022Updated 3 years ago
- ☆23Nov 17, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆42Jun 5, 2026Updated 2 months ago
- DafnyBench: A Benchmark for Formal Software Verification☆67Dec 12, 2024Updated last year
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆74Apr 27, 2026Updated 3 months ago
- Pytorch implementation for "Video Joint Modelling Based on Hierarchical Transformer for Co-summarization"☆15Aug 24, 2025Updated 11 months ago
- ☆17Nov 10, 2025Updated 9 months ago
- ☆14Jan 8, 2023Updated 3 years ago
- AI-Assisted Verification of Data Structures☆21May 27, 2026Updated 2 months ago
- Repository of benchmarks for SYNTCOMP☆16Jun 18, 2026Updated last month
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆123Apr 26, 2026Updated 3 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆47Apr 3, 2026Updated 4 months ago
- A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages☆20Jun 11, 2026Updated last month
- This repository contains previously secret cryptographic primitives and protocols regarding TETRA End-to-End Encryption (E2EE), reverse…☆15Aug 29, 2025Updated 11 months ago
- Development of the CafeOBJ interpreter☆41Nov 18, 2024Updated last year
- ☆26Jul 19, 2022Updated 4 years ago
- Python toolkit providing OpenQASM 3 semantic analyzer and utilities for program analysis and compilation.☆28Updated this week
- A minimal C++ QML interaction example☆10Nov 28, 2014Updated 11 years ago
- The bootstrapping PEG parser☆10Feb 18, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆28May 6, 2026Updated 3 months ago
- A minimal hackable implementation of policy gradient methods (GRPO, PPO, REINFORCE)☆17Feb 20, 2026Updated 5 months ago
- Plugin files for editing K files☆12Aug 20, 2024Updated last year
- A framework for building language model applications.☆14Dec 8, 2023Updated 2 years ago
- Tools for quantum circuits synthesis, optimization and others.☆27Jun 29, 2026Updated last month
- A utility package designed to streamline various tasks when developing Svelte libraries.☆11Sep 23, 2025Updated 10 months ago
- Standardized regression predictors for use with StatsModels.jl (centered, z-scored, etc.)☆10Updated this week