Alternatives and similar repositories for NL2FOL

Users that are interested in NL2FOL are comparing it to the libraries listed below

• eth-sri / type-constrained-code-generation
  Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
  ☆70Updated 2 months ago
• microsoft / monitors4codegen
  Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multis…
  ☆271Updated last year
• namin / llm-verified-with-monte-carlo-tree-search
  LLM verified with Monte Carlo Tree Search
  ☆281Updated 5 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆66Updated last month
• neurallambda / awesome-reasoning
  a curated list of data for reasoning ai
  ☆137Updated last year
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆403Updated 4 months ago
• microsoft / multilspy
  multilspy is a lsp client library in Python intended to be used to build applications around language servers.
  ☆426Updated last month
• VictorTaelin / ab_challenge_eval
  Evaluator for the A::B Prompting Challenge
  ☆27Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆124Updated this week
• szeider / mcp-solver
  Model Context Protocol (MCP) server for constraint optimization and solving"
  ☆113Updated 2 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆176Updated last month
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 3 months ago
• IDNI / tau-lang
  ☆73Updated this week
• formal-land / coq-of-python
  Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
  ☆37Updated 11 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆70Updated 7 months ago
• genlm / genlm-control
  Controlled text generation with programmable constraints
  ☆130Updated this week
• GammaTauAI / opentau
  Using Large Language Models for Repo-wide Type Prediction
  ☆110Updated last year
• smallcloudai / refact-bench
  A benchmarking tool for evaluating AI coding assistants on real-world software engineering tasks from the SWE-Bench dataset.
  ☆53Updated 2 months ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆134Updated 3 weeks ago
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆50Updated last year
• harmonic-ai / datasets
  Harmonic Datasets
  ☆46Updated last year
• codelion / pts
  Pivotal Token Search
  ☆123Updated last month
• neurallambda / neurallambda
  Reasoning Computers. Lambda Calculus, Fully Differentiable. Also Neural Stacks, Queues, Arrays, Lists, Trees, and Latches.
  ☆271Updated 10 months ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆203Updated 6 months ago
• cmu-l3 / alphaverus
  AlphaVerus: Formally Verified Code Generation through Self-Improving Translation and Treefinement
  ☆18Updated 3 months ago
• trishullab / copra
  COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
  ☆66Updated 3 months ago
• METR / vivaria
  Vivaria is METR's tool for running evaluations and conducting agent elicitation research.
  ☆110Updated last week
• LAION-AI / AIW
  Alice in Wonderland code base for experiments and raw experiments data
  ☆131Updated last month
• structuredllm / syncode
  Efficient and general syntactical decoding for Large Language Models
  ☆288Updated this week
• eth-sri / language-model-arithmetic
  Controlled Text Generation via Language Model Arithmetic
  ☆223Updated 11 months ago