Iterate on LLM-based structured generation forward and backward
☆24Mar 20, 2025Updated last year
Alternatives and similar repositories for itergen
Users that are interested in itergen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Efficient and general syntactical decoding for Large Language Models☆340Jan 19, 2026Updated 8 months ago
- LLM Program Watermarking☆19Apr 19, 2024Updated 2 years ago
- FANC is a tool for the proof transfer of incomplete verification☆13Aug 20, 2026Updated last month
- [ASE2024] Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training☆11Sep 13, 2024Updated 2 years ago
- A certifier for bias in LLMs☆25Apr 11, 2025Updated last year
- 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.
- ProbFuzz: A Framework for Testing Probabilistic Programming Systems☆10Oct 22, 2018Updated 7 years ago
- Temporal GNN Lightweight Framework☆31Apr 2, 2024Updated 2 years ago
- Probabilistic Computer Network Analysis☆20Dec 8, 2018Updated 7 years ago
- ☆10Aug 18, 2025Updated last year
- Source code of "Leaky Thoughts: Large Reasoning Models Are Not Private Thinkers" EMNLP 2025☆18Jan 12, 2026Updated 8 months ago
- ☆24Jun 2, 2026Updated 4 months ago
- Automatically Update LLM Papers Daily using Github Actions. Ref: https://github.com/Vincentqyw/cv-arxiv-daily☆11Updated this week
- Code for running the transformers in the ICML 2021 paper "Thinking Like Transformers"☆20Jun 28, 2021Updated 5 years ago
- A tool to help adapting code bases to NullAway type system.☆19Sep 22, 2026Updated 2 weeks 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.
- Counterexample-Guided Learning of Monotonic Networks☆18May 19, 2022Updated 4 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- ☆11Oct 10, 2017Updated 9 years ago
- Offical implementation of our paper "Exploring the Potential of Diffusion Large Language Models in Code Generation".☆23Sep 26, 2026Updated 2 weeks ago
- Software Engineering, BUAA 课程资源共享平台☆11Apr 24, 2018Updated 8 years ago
- We propose a novel adversarial example generation technique (i.e., CODA) for testing deep code models. Its key idea is to use code differ…☆20Oct 8, 2023Updated 3 years ago
- Experimental translation of llvm to smt.☆60Apr 8, 2020Updated 6 years ago
- ☆22Nov 5, 2024Updated last year
- Archer: Agentic Code Review for LLVM PRs☆27Oct 2, 2026Updated last week
- 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.
- ☆28May 15, 2024Updated 2 years ago
- BUAA OO课程的评测机☆13Jun 7, 2024Updated 2 years ago
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- ☆24Nov 11, 2022Updated 3 years ago
- ☆17Feb 18, 2026Updated 7 months ago
- ☆56Jun 21, 2025Updated last year
- ☆26Nov 18, 2025Updated 10 months ago
- ☆11Mar 24, 2026Updated 6 months ago
- ToolFuzz is a fuzzing framework designed to test your LLM Agent tools.☆43Jul 20, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆15Mar 21, 2026Updated 6 months ago
- ELINA: ETH LIbrary for Numerical Analysis☆136Apr 7, 2023Updated 3 years ago
- Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]☆104Mar 11, 2026Updated 7 months ago
- enchmarking Large Language Models' Resistance to Malicious Code☆20Apr 23, 2026Updated 5 months ago
- Code for NeurIPS 2024 Paper "Fight Back Against Jailbreaking via Prompt Adversarial Tuning"☆22May 6, 2025Updated last year
- ☆17Aug 16, 2023Updated 3 years ago
- ☆14Feb 14, 2018Updated 8 years ago