☆12Sep 5, 2026Updated last month
Alternatives and similar repositories for LLMs_proof_generation
Users that are interested in LLMs_proof_generation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TEAL: New Selection Strategy for Small Buffers in Experience Replay Class Incremental Learning☆18Jan 21, 2025Updated last year
- Official implementation of "Dataset Size Recovery from LoRA Weights" paper.☆34Jun 30, 2024Updated 2 years ago
- Official PyTorch Implementation for the "Unsupervised Model Tree Heritage Recovery" paper (ICLR 2025).☆62Jul 1, 2025Updated last year
- Repository for "Attribute First, then Generate: Locally-attributable Grounded Text Generation", ACL 2024☆32Dec 19, 2024Updated last year
- An official implementation of ProbeGen☆14Oct 20, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The official repo of the paper "StressTest: Can YOUR Speech LM Handle the Stress?"☆20Jun 28, 2026Updated 4 months ago
- ☆16Nov 24, 2025Updated 11 months ago
- An official PyTorch implementation for CLIPPR☆30Jul 22, 2023Updated 3 years ago
- Official PyTorch Implementation for the "A Deep Inverse-Mapping Model for a Flapping Robotic Wing" Paper (ICLR 2025)☆24Dec 16, 2025Updated 10 months ago
- Implementation of the paper Silent Killer☆25Mar 18, 2024Updated 2 years ago
- Code & data for "Protein Language Models Expose Viral Mimicry and Immune Escape"☆13Sep 1, 2025Updated last year
- Repository for "The Curious Case of Hallucinatory (Un)answerability: Finding Truths in the Hidden States of Over-Confident Large Language…☆12May 16, 2024Updated 2 years ago
- Official PyTorch Implementation for the "Distilling Datasets Into Less Than One Image" paper.☆39Jun 6, 2024Updated 2 years ago
- Official implementation of "Describing Sets of Images with Textual-PCA".☆16Feb 13, 2023Updated 3 years ago
- 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.
- The official repo of "WhiStress: Enriching Transcriptions with Sentence Stress Detection" (Interspeech 2025)☆40Jul 24, 2025Updated last year
- ☆48Jul 7, 2025Updated last year
- Flutter webView for Windows / Linux. It's also a plugin that implements the interface of webview_flutter.☆25May 9, 2026Updated 5 months ago
- Official implementation of "DGD: Dynamic 3D Gaussians Distillation".☆70Aug 16, 2024Updated 2 years ago
- Code release for "Time Series Anomaly Detection by Cumulative Radon Features"☆12Feb 8, 2022Updated 4 years ago
- ☆19Jan 8, 2025Updated last year
- WONDA: data curation pipeline for training small language models on loop invariant synthesis. Accepted to ICML 2026☆17Jun 29, 2026Updated 4 months ago
- [AAAI 2025] Official Implementation for "Click2Mask: Local Editing with Dynamic Mask Generation" Paper.☆21Jan 22, 2026Updated 9 months ago
- This repo contains the official PyTorch implementation of "Analyzing Discrete Self Supervised Speech Representation For Spoken Language M…☆21Jan 3, 2023Updated 3 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.
- Annotatability, a method to identify meaningful patterns in single-cell genomics data through annotation-trainability analysis, which est…☆19Jun 23, 2025Updated last year
- Official implementation of paper 'Fair Feature Distillation for Visual Recognition'☆16Jun 23, 2021Updated 5 years ago
- Through RL training, stimulate the reflective capabilities of the prover model.☆12Apr 17, 2025Updated last year
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 10 years ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- Vercel for Backend! Easily setup preview environments with just Docker 🐳☆12Nov 3, 2025Updated 11 months ago
- ☆20Oct 22, 2026Updated last week
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- Official implementation for "Stable Flow: Vital Layers for Training-Free Image Editing" [CVPR 2025]☆412Jun 8, 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.
- Official pytorch re-implementation of "Demystifying Inter-Class Disentanglement", ICLR 2020.☆13Dec 2, 2021Updated 4 years ago
- [ICLR 2026] Official implementation of "Splat and Distill: Augmenting Teachers with Feed-Forward 3D Reconstruction For 3D-Aware Distillat…☆31May 4, 2026Updated 5 months ago
- [ACL 2026 Oral] Official implementation of LaMI: Augmenting Large Language Models via Late Multi-Image Fusion☆20Jul 4, 2026Updated 3 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- ivrit.ai's bot☆22Oct 8, 2026Updated 3 weeks ago
- A repo to help you learn LangGraph☆87Feb 19, 2024Updated 2 years ago
- Official PyTorch Implementation for the "Recovering the Pre-Fine-Tuning Weights of Generative Models" paper (ICML 2024).☆86Apr 15, 2025Updated last year