Alternatives and similar repositories for itergen

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

• structuredllm / syncode
  Efficient and general syntactical decoding for Large Language Models
  ☆265Updated this week
• uiuc-arc / FANC
  FANC is a tool for the proof transfer of incomplete verification
  ☆11Updated 3 years ago
• llvm-ml / llvm-ir-dataset-utils
  Utilities for constructing a large dataset of LLVM IR
  ☆19Updated 9 months ago
• uiuc-arc / llm-code-watermark
  LLM Program Watermarking
  ☆17Updated last year
• Mondego / dafny-synthesis
  [FSE-2024] Towards AI-Assisted Synthesis of Verified Dafny Methods
  ☆46Updated 11 months ago
• microsoft / loop-invariant-gen-experiments
  Loop invariant generation with LLMs
  ☆21Updated 2 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆63Updated 4 months ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated this week
• jordiae / neural-compilers
  ☆18Updated 2 years ago
• Intelligent-CAT-Lab / CodeMind
  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
• uiuc-focal-lab / LLMCert-B
  A certifier for bias in LLMs
  ☆24Updated last month
• gonglinyuan / ast_t5
  ☆61Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆45Updated 6 months ago
• google-research / pynsy
  Heavyweight Python dynamic analysis framework
  ☆13Updated last year
• google-research / plur
  PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…
  ☆88Updated 3 years ago
• VHellendoorn / ICLR20-Great
  Data and Code for Reproducing "Global Relational Models of Source Code"
  ☆84Updated 4 years ago
• albertqjiang / Portal-to-ISAbelle
  https://albertqjiang.github.io/Portal-to-ISAbelle/
  ☆54Updated last year
• rohanmukh / nsg
  ☆20Updated 3 years ago
• lt-asset / REPOCOD
  Can Language Models Replace Programmers? RepoCod Says ‘Not Yet’ - by Shanchao Liang and Yiran Hu and Nan Jiang and Lin Tan
  ☆18Updated 2 months ago
• ALFA-group / adversarial-code-generation
  [ICLR 2021] "Generating Adversarial Computer Programs using Optimized Obfuscations" by Shashank Srikant, Sijia Liu, Tamara Mitrovska, Shi…
  ☆30Updated 3 years ago
• facebookresearch / miniF2F
  An updated version of miniF2F with lots of fixes and informal statements / solutions.
  ☆83Updated 4 months ago
• uiuc-focal-lab / llm-priming-attacks
  ☆15Updated last year
• google-deepmind / codesembench
  ☆16Updated last year
• epfl-dlab / transformers-CFG
  🤗 A specialized library for integrating context-free grammars (CFG) in EBNF with the Hugging Face Transformers
  ☆117Updated last month
• evalplus / repoqa
  RepoQA: Evaluating Long-Context Code Understanding
  ☆108Updated 6 months ago
• GaloisInc / LinearArbitrary-SeaHorn
  LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.
  ☆21Updated 2 years ago
• VITA-Group / ChainCoder
  [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …
  ☆40Updated last year
• SalesforceAIResearch / CodeChain
  Official code for the paper "CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules"
  ☆45Updated 4 months ago
• secure-software-engineering / TypeEvalPy
  A Micro-benchmarking Framework for Python Type Inference Tools
  ☆34Updated last week
• gitbugactions / gitbugactions
  ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️
  ☆21Updated this week