Leanstral's fork of SafeVerify, which we use for code agent training and as part of our evaluation stack.
☆37Jul 3, 2026Updated last month
Alternatives and similar repositories for LeanstralSafeVerify
Users that are interested in LeanstralSafeVerify are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An MCP server to read MCP logs to debug directly inside the client☆16May 3, 2025Updated last year
- ☆17Jul 2, 2018Updated 8 years ago
- TorchLean: Formalizing Neural Networks in Lean 4 — IBP, CROWN, α,β-CROWN verification framework☆43Mar 1, 2026Updated 5 months ago
- Understanding deep networks and large models.☆30Jan 23, 2026Updated 7 months ago
- ☆14Jan 22, 2026Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Implementation for IceCache: Memory-Efficient KV-cache Management for Long-Sequence LLMs (ICLR 2026).☆23Jun 9, 2026Updated 2 months ago
- Carla worldsim envrionment for decision-making evaluation and RL☆19Apr 22, 2026Updated 4 months ago
- Open-source interface to a user's defaults on macOS. Available as both a CLI and a library.☆15Dec 21, 2025Updated 8 months ago
- #PINNING is a browser extension (currently TamperMonkey script) to improve Pinterest's desktop browsing UX☆18Aug 7, 2025Updated last year
- ☆14Apr 7, 2025Updated last year
- ☆17Apr 23, 2026Updated 4 months ago
- Mixture of Experts from scratch☆14Apr 12, 2024Updated 2 years ago
- A Rust implementation of the Gravity-post-quantum signature schemes☆21Updated this week
- Local-first AI coding workflow for vibe coders, indie hackers, technical founders and product managers — catch missing tests and safety c…☆40Updated this 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.
- ☆36Apr 3, 2026Updated 4 months ago
- AI Control evaluation library. Built natively on Inspect AI.☆17Feb 25, 2026Updated 5 months ago
- [ICME 2021 Oral] Official implementation for "FGF-GAN: A Lightweight Generative Adversarial Network for Pansharpening via Fast Guided Fil…☆11Mar 29, 2022Updated 4 years ago
- [Lab] lab website☆12Jul 23, 2026Updated last month
- 《人工智能程序设计》大作业：吃豆人（成品）☆11Jul 12, 2022Updated 4 years ago
- ☆15Feb 12, 2024Updated 2 years ago
- Parse, deparse and normalize SQL queries using the Postgres source code☆15Jun 12, 2026Updated 2 months ago
- AI agents running research on Hugging Face infra☆178Mar 29, 2026Updated 4 months ago
- Voice to brain interface 🦞🎤🧠 for OpenClaw, Hermes, PI, etc☆22Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Rethinking the Trust Region in LLM Reinforcement Learning☆67Mar 2, 2026Updated 5 months ago
- ☆417Jul 30, 2026Updated 3 weeks ago
- A crate for converting Lua bytecode to different versions and formats☆17Jul 10, 2023Updated 3 years ago
- arXiv fragment loader plugin for https://llm.datasette.io/☆18May 17, 2025Updated last year
- A Hybrid Self-Cross Attention Network For Remote Sensing Change Detection☆16May 13, 2025Updated last year
- ☆16Jan 25, 2024Updated 2 years ago
- RL models to play Sokoban. The fastest recipe wins.☆31Jul 25, 2026Updated 3 weeks ago
- ☆34Dec 15, 2025Updated 8 months ago
- Config files for my GitHub profile.☆13Sep 28, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago
- Minimal repository to demonstrate fast LoRA inference with Flux family of models.☆32Jul 23, 2025Updated last year
- Optimized Analysis of Semantic Segmentation of Remote Sensing Images Based on FCN☆14Nov 4, 2022Updated 3 years ago
- Advanced Dropout: A Model-free Methodology for Bayesian Dropout Optimization (IEEE TPAMI 2021)☆17Jun 4, 2021Updated 5 years ago
- Implementation of Dat2Vec2.0 for vision☆18Feb 6, 2023Updated 3 years ago
- Code with CliqueFlowmer model for Optimal Computational Materials Discovery☆17Apr 21, 2026Updated 4 months ago
- ☆14Apr 22, 2024Updated 2 years ago