☆17Mar 28, 2025Updated last year
Alternatives and similar repositories for Latent-Space-Verification-for-Self-Correcting-LLMs
Users that are interested in Latent-Space-Verification-for-Self-Correcting-LLMs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- asmsense: a small model that names and describes functions in stripped x86-64 binaries. Open dataset, baselines, and LoRA experiments.☆17Oct 18, 2026Updated last week
- ☆17Nov 23, 2023Updated 2 years ago
- GUI for editing nix files☆10May 13, 2026Updated 5 months ago
- Minimal examples of crates useful for compiler development☆32Oct 13, 2026Updated 2 weeks ago
- Verified IDA is a harness for model-led reverse engineering.☆44Sep 14, 2026Updated last month
- 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.
- An LSP implementaion for LR(1) parser generator LALRPOP, written in Rust.☆14Sep 2, 2026Updated last month
- Various LLM Benchmarks☆26Feb 20, 2026Updated 8 months ago
- Experimental APL interpreter in Rust☆16Dec 14, 2013Updated 12 years ago
- PSP static recompiler: Rust analyze/decode/emit pipeline producing C++17, with an SDL2 + OpenGL runtime☆16Oct 2, 2026Updated 3 weeks ago
- Learn languages by studying the building blocks of their sentences.☆18Dec 15, 2025Updated 10 months ago
- [Poster; ICLR 2026] [Oral; Neurips OPT2024] μLO: Compute-Efficient Meta-Generalization of Learned Optimizers☆16Apr 15, 2026Updated 6 months ago
- ☆13Apr 17, 2024Updated 2 years ago
- Go library for inspecting Rust binaries produced with https://github.com/rust-secure-code/cargo-auditable☆25Feb 26, 2025Updated last year
- Stable Because Stuck: NALU Selects, It Doesn't Compute☆17Sep 24, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Rust FFI bindings for OpenZL, a novel data compression framework☆12Sep 29, 2026Updated last month
- Lego for GRPO☆30May 27, 2025Updated last year
- Lottery Ticket Adaptation☆40Nov 20, 2024Updated last year
- Let Tauri's transparent background rendering window be stacked on Bevy's rendering window in real time to run the game with native-level…☆14Mar 25, 2024Updated 2 years ago
- bearcove internal building tool☆11Apr 28, 2025Updated last year
- Local-first, LLM-guided, coverage-driven fuzzer for network protocols and binary formats. Single Rust binary. Zero signup.☆15Jul 14, 2026Updated 3 months ago
- Turning an LLM model into a Jev like System.☆47Sep 23, 2026Updated last month
- ☆13Feb 18, 2026Updated 8 months ago
- Course material for "Automation of Logical Reasoning"☆10May 26, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Example OCaml library written using Rust and ocaml-rs☆17Mar 10, 2021Updated 5 years ago
- A Python package for PME (Public Market Equivalent) calculation☆14Jan 16, 2026Updated 9 months ago
- A tree-sitter grammar for Soufflé Datalog☆18Oct 25, 2025Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- ☆65Jan 8, 2026Updated 9 months ago
- Text embedding and re-ranking in Rust☆14Aug 5, 2026Updated 2 months ago
- Fast binary cross-reference extractor for ELF, Mach-O, PE, and dyld shared caches☆17Sep 30, 2026Updated last month
- Frida ❤️ Rust☆11Sep 8, 2020Updated 6 years ago
- ☆12Jun 24, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 32-bit hashing machinery☆16Apr 30, 2026Updated 6 months ago
- Flowslicer is a Binary Ninja plugin to lift code into Data Flow Intermediate Language. Then, it processes data flow slices and analyzes …☆12May 23, 2023Updated 3 years ago
- A relational logic programming language embedded in Rust.☆12Aug 15, 2025Updated last year
- ☆11Aug 21, 2025Updated last year
- ☆13Jun 20, 2022Updated 4 years ago
- A rust library for converting between UTF-8, UTF-16 and UTF-32 characters.☆13Jul 5, 2024Updated 2 years ago
- Ghidra plugin to identify obfuscated code and other interesting code constructs☆19Jul 1, 2026Updated 3 months ago