lovishchopra / NL2FOLLinks
☆38Updated 7 months ago
Alternatives and similar repositories for NL2FOL
Users that are interested in NL2FOL are comparing it to the libraries listed below
Sorting:
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆79Updated 5 months ago
- Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…☆276Updated last year
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆73Updated 4 months ago
- LLM verified with Monte Carlo Tree Search☆283Updated 8 months ago
- Efficient and general syntactical decoding for Large Language Models☆305Updated last week
- SWE-Bench Pro: Can AI Agents Solve Long-Horizon Software Engineering Tasks?☆223Updated 2 weeks ago
- Model Context Protocol (MCP) server for constraint optimization and solving"☆140Updated 2 months ago
- Rewriting Principia Mathematica in Lean☆136Updated 2 months ago
- a curated list of data for reasoning ai☆140Updated last year
- A MCP server for symbolic manipulation of mathematical expressions☆44Updated 5 months ago
- multilspy is a lsp client library in Python intended to be used to build applications around language servers.☆499Updated 3 months ago
- Grep source code and see useful code context about matching lines☆290Updated 7 months ago
- Pivotal Token Search☆132Updated this week
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆40Updated last year
- Sort input lines semantically with llm☆120Updated 6 months ago
- Controlled text generation with programmable constraints☆164Updated this week
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆360Updated last month
- GRPO training code which scales to 32xH100s for long horizon terminal/coding tasks. Base agent is now the top Qwen3 agent on Stanford's T…☆304Updated 3 months ago
- 🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers☆130Updated 8 months ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆33Updated last year
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆75Updated 10 months ago
- DevQualityEval: An evaluation benchmark 📈 and framework to compare and evolve the quality of code generation of LLMs.☆182Updated 6 months ago
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆22Updated this week
- Controlled Text Generation via Language Model Arithmetic☆224Updated last year
- Clover: Closed-Loop Verifiable Code Generation☆37Updated 6 months ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated this week
- A benchmarking tool for evaluating AI coding assistants on real-world software engineering tasks from the SWE-Bench dataset.☆61Updated 5 months ago
- LLMs + Lean, on your laptop or in the cloud☆195Updated last month
- A Low Barrier Proof Assistant☆142Updated last week
- explore token trajectory trees on instruct and base models☆149Updated 6 months ago