lovishchopra / NL2FOL
☆31Updated 2 weeks ago
Alternatives and similar repositories for NL2FOL
Users that are interested in NL2FOL are comparing it to the libraries listed below
Sorting:
- Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…☆257Updated 9 months ago
- LLM verified with Monte Carlo Tree Search☆275Updated last month
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆63Updated 4 months ago
- a curated list of data for reasoning ai☆136Updated 9 months ago
- Controlled Text Generation via Language Model Arithmetic☆220Updated 8 months ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated this week
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆61Updated 2 months ago
- ☆32Updated last week
- EvoEval: Evolving Coding Benchmarks via LLM☆70Updated last year
- Evaluator for the A::B Prompting Challenge☆27Updated last year
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆60Updated this week
- Model Context Protocol (MCP) server for constraint optimization and solving"☆74Updated this week
- RepoQA: Evaluating Long-Context Code Understanding☆108Updated 6 months ago
- [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods☆46Updated 11 months ago
- Harmonic Datasets☆39Updated 10 months ago
- ☆69Updated this week
- Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.☆35Updated 8 months ago
- A Low Barrier Proof Assistant☆109Updated this week
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆37Updated 9 months ago
- Grep source code and see useful code context about matching lines☆222Updated last week
- LLMs + Lean, on your laptop or in the cloud☆149Updated last month
- ☆29Updated last week
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆38Updated last month
- A scalable abstraction learning library☆78Updated last year
- Editor with LLM generation tree exploration☆66Updated 3 months ago
- ☆54Updated last week
- A framework for pitting LLMs against each other in an evolving library of games ⚔☆31Updated 3 weeks ago
- ☆35Updated 2 months ago
- LILO: Library Induction with Language Observations☆86Updated 8 months ago
- ☆129Updated last month