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:
- Demonstration-Free: Towards More Practical Log Parsing with Large Language Models☆31Jun 17, 2025Updated last year
- ☆15Jun 6, 2024Updated 2 years ago
- Replication of AST Neural Network from Zhang J. et. al (2019) and application to software vulnerability detection☆12Jan 13, 2020Updated 6 years ago
- A Quantum Computing Library in LEAN☆16Jul 14, 2026Updated last week
- american fuzzy lop - a security-oriented fuzzer☆11Feb 25, 2026Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆11Jun 14, 2024Updated 2 years ago
- AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement☆33May 14, 2025Updated last year
- ☆23Apr 17, 2023Updated 3 years ago
- SV-Sim: Scalable PGAS-based State Vector Simulation of Quantum Circuits☆22Feb 2, 2024Updated 2 years ago
- Code for the ICRA 2024 Cook2LTL paper on translating free-form cooking recipes to Linear Temporal Logic (LTL) formulae for robot task pla…☆22Oct 18, 2024Updated last year
- Machine Learning for Mathematics and Logics☆16Apr 1, 2025Updated last year
- AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)☆22Dec 7, 2023Updated 2 years ago
- Log Parsing: How Far Can ChatGPT Go? (ASE 2023 - NIER Track)☆22Dec 7, 2023Updated 2 years ago
- Code for Doubly deformable aggregation of covariance matrices for few-shot segmentation☆16Oct 25, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆40Jun 5, 2026Updated last month
- LogShrink: Effective Log Compression by Leveraging Commonality and Variability of Log Data [ICSE'24 early]☆25Nov 14, 2023Updated 2 years ago
- ☆22Nov 17, 2025Updated 8 months ago
- DafnyBench: A Benchmark for Formal Software Verification☆67Dec 12, 2024Updated last year
- ☆15Oct 11, 2023Updated 2 years ago
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆73Apr 27, 2026Updated 2 months ago
- Pytorch implementation for "Video Joint Modelling Based on Hierarchical Transformer for Co-summarization"☆15Aug 24, 2025Updated 10 months ago
- A powerful voice-only mouse☆30Aug 8, 2024Updated last year
- ☆30Apr 2, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆17Nov 10, 2025Updated 8 months ago
- AI-Assisted Verification of Data Structures☆21May 27, 2026Updated last month
- This SDK allows web-based apps/pages to interact with dictation devices☆19Jun 22, 2026Updated 3 weeks ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Antithesis SDK for C++☆15May 8, 2026Updated 2 months ago
- ICM-Assistant: Instruction-tuning Multimodal Large Language Models for Rule-based Explainable Image Content Moderation. AAAI, 2025☆16Aug 25, 2025Updated 10 months ago
- LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.☆112Apr 26, 2026Updated 2 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆46Apr 3, 2026Updated 3 months ago
- Commandline utility for OSX that reloads the frontmost browser tab☆11Jan 18, 2016Updated 10 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Survey on LLM-based Code Generation for Low-Resource and Domain-Specific Programming Languages☆20Jun 11, 2026Updated last month
- Implements Global Word Vectors.☆11Feb 8, 2020Updated 6 years ago
- ☆10Mar 5, 2024Updated 2 years ago
- Development of the CafeOBJ interpreter☆41Nov 18, 2024Updated last year
- ☆26Jul 19, 2022Updated 4 years ago
- ☆24Aug 30, 2025Updated 10 months ago
- A minimal hackable implementation of policy gradient methods (GRPO, PPO, REINFORCE)☆16Feb 20, 2026Updated 5 months ago