Leanstral's fork of SafeVerify, which we use for code agent training and as part of our evaluation stack.
☆29Jul 3, 2026Updated last week
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:
- Build beautiful end-to-end encrypted forms for free☆45Updated this week
- TorchLean: Formalizing Neural Networks in Lean 4 — IBP, CROWN, α,β-CROWN verification framework☆43Mar 1, 2026Updated 4 months ago
- ☆39Updated this week
- A framework aiming to bridge fast robot prototyping, predefined motion primitives, heterogeneous teleoperation, data collection, and flex…☆29Apr 4, 2026Updated 3 months ago
- Internal utility libraries for Pkl☆16Updated 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.
- Baidu Qianfan Deep Research☆35Jun 8, 2026Updated last month
- Understanding deep networks and large models.☆30Jan 23, 2026Updated 5 months ago
- We release Open Meditron, a fully open, clinician-audited medical training corpus and evaluation protocol that closes the open-vs-closed …☆15May 15, 2026Updated last month
- Multilingual and Multiculture Benchmark and LLM☆42May 18, 2026Updated last month
- Parallel rsync launcher with fancy progress bars☆35Updated this week
- The open source implementation of the multi grouped query attention by the paper "GQA: Training Generalized Multi-Query Transformer Model…☆16Dec 11, 2023Updated 2 years ago
- ReaRAG: Knowledge-guided Reasoning Enhances Factuality of Large Reasoning Models with Iterative Retrieval Augmented Generation☆28Aug 24, 2025Updated 10 months ago
- ⚡️ Warp is a lightweight project-local file list for Neovim — add, view, jump, reorder, and remove files, all from a floating window or a…☆19Jul 4, 2026Updated last week
- D-JEPA on ImageNet☆23Nov 18, 2024Updated 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.
- ☆23Dec 3, 2025Updated 7 months ago
- ☆44Jun 9, 2026Updated last month
- Compression for unit-norm embedding vectors using spherical coordinates☆82Jan 23, 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
- ☆15Jun 19, 2026Updated 3 weeks ago
- Implementation of a transformer for reinforcement learning using `x-transformers`☆73Sep 25, 2025Updated 9 months ago
- The official implement of Freeze-Omni.☆15Jul 10, 2025Updated last year
- diffusers with search engine☆12Jan 13, 2026Updated 6 months ago
- 《人工智能程序设计》大作业：吃豆人（成品）☆11Jul 12, 2022Updated 4 years ago
- 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.
- Cross-platform, observe-only global keyboard taps with left/right modifier fidelity and clean shutdown. macOS, Windows, and Linux (evdev,…☆16Apr 24, 2026Updated 2 months ago
- [NeurIPS 2025 Spotlight] Implementation of "KLASS: KL-Guided Fast Inference in Masked Diffusion Models"☆33Jan 3, 2026Updated 6 months ago
- The official repository of the first version of ACE-Brain foundation model.☆83Mar 13, 2026Updated 4 months ago
- 2027 entry-level data science & ML jobs — analytics, AI, quant & machine learning US roles☆54Updated this week
- AI agents running research on Hugging Face infra☆177Mar 29, 2026Updated 3 months ago
- Run a Parallel Autonomous ML Research Organization on your OpenClaw instance.☆70Updated this week
- Implementation of Dat2Vec2.0 for vision☆18Feb 6, 2023Updated 3 years ago
- Official PyTorch implementation for "TensorLens: End-to-End Transformer Analysis via High-Order Attention Tensors" [ACL 2026]☆47Apr 14, 2026Updated 3 months ago
- ROSA+: RWKV's ROSA implementation with fallback statistical predictor☆36Oct 13, 2025Updated 9 months ago
- 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.
- ☆43Dec 15, 2025Updated 6 months ago
- arXiv fragment loader plugin for https://llm.datasette.io/☆18May 17, 2025Updated last year
- ThoughtTrace: Understanding User Thoughts in Real-World LLM Interactions☆15Jun 28, 2026Updated 2 weeks ago
- ☆15Jan 25, 2024Updated 2 years ago
- TypeScript AI "code mode" toolkit with permissions and search☆65May 1, 2026Updated 2 months ago
- ☆27Oct 2, 2025Updated 9 months ago
- JIT-compiled GPU kernels for quantum chemistry☆36Jan 30, 2026Updated 5 months ago