Iterate on LLM-based structured generation forward and backward
☆22Mar 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☆330Jan 19, 2026Updated 2 months ago
- LLM Program Watermarking☆18Apr 19, 2024Updated last year
- FANC is a tool for the proof transfer of incomplete verification☆12Mar 20, 2022Updated 4 years ago
- ☆17Dec 24, 2023Updated 2 years ago
- A certifier for bias in LLMs☆25Apr 11, 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 and start building anything your business needs.
- ☆10Aug 18, 2025Updated 7 months ago
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 7 years ago
- Structured Generation Evals☆14Sep 25, 2024Updated last year
- ☆25Sep 30, 2025Updated 6 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- [ASE2024] Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training☆11Sep 13, 2024Updated last year
- ☆11Oct 10, 2017Updated 8 years ago
- An implementation of Tare.☆12Feb 23, 2024Updated 2 years ago
- ☆24Oct 30, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A fork of HumanEval-Java from the paper "Impact of Code Language Models on Automated Program Repair"☆13Dec 11, 2024Updated last year
- PC-miner tool for program chairs☆29Dec 18, 2025Updated 3 months ago
- Program Transformation Tool for Java Methods☆11Sep 16, 2022Updated 3 years ago
- ELINA: ETH LIbrary for Numerical Analysis☆137Apr 7, 2023Updated 3 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…☆19Oct 8, 2023Updated 2 years ago
- The First International Workshop on Large Language Model for Code 2024 (Co-Located with ICSE 2024)☆17Oct 4, 2024Updated last year
- ☆32May 1, 2020Updated 5 years ago
- An attempt to merge ESBN with Transformers, to endow Transformers with the ability to emergently bind symbols☆16Aug 3, 2021Updated 4 years ago
- Durability for web streams powered by S2☆21Jan 2, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Creative Instructions Project☆11Sep 4, 2023Updated 2 years ago
- NodeJS wrapper for UiAutomator☆37Jun 10, 2023Updated 2 years ago
- Card game of War written in Elixir and Rust.☆11Jun 18, 2022Updated 3 years ago
- Repository containing the website for the EMNLP 2023 conference☆17Feb 12, 2025Updated last year
- Uncertainty-aware principal component analysis.☆18Oct 13, 2021Updated 4 years ago
- Source Code for Paper "Large Language Models are Few-Shot Summarizers: Multi-Intent Comment Generation via In-Context Learning"☆18Jun 9, 2023Updated 2 years ago
- ☆12Nov 24, 2022Updated 3 years ago
- ☆16Mar 2, 2019Updated 7 years ago
- Example using echo conversational agent server☆15Aug 20, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- My Paper Reading Lists and Notes.☆21Mar 28, 2026Updated 2 weeks ago
- Clip I/O extension for Stable Diffusion Web UI☆20Oct 21, 2023Updated 2 years ago
- Forkable repo for entries in Phoenix Phrenzy (https://phoenixphrenzy.com/)☆12Sep 30, 2019Updated 6 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆59Jan 26, 2024Updated 2 years ago
- The projects lets you extract glossary words and their definitions from a given piece of text automatically using NLP techniques☆30Jul 23, 2020Updated 5 years ago
- Phoenix LiveView + HeadlessUI React web components☆13Nov 6, 2024Updated last year
- A Building blocks for elixir CQRS segregated applications☆15Sep 25, 2019Updated 6 years ago