Advanced NLP, Fall 2025 https://cmu-l3.github.io/anlp-fall2025/
☆57Jan 18, 2026Updated 2 months ago
Alternatives and similar repositories for anlp-fall2025-code
Users that are interested in anlp-fall2025-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated 8 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Feb 21, 2026Updated last month
- LLMs + Lean, on your laptop or in the cloud☆203Oct 10, 2025Updated 5 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Neural theorem proving tutorial, version II☆40Apr 26, 2024Updated last year
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Repository for "Scaling Evaluation-time Compute with Reasoning Models as Process Evaluators"☆12Mar 25, 2025Updated 11 months ago
- Advanced NLP, Spring 2025 https://cmu-l3.github.io/anlp-spring2025/☆72Mar 28, 2025Updated 11 months ago
- ☆13May 10, 2025Updated 10 months ago
- NeurIPS 2024 tutorial on LLM Inference☆49Dec 10, 2024Updated last year
- ☆17Aug 5, 2025Updated 7 months ago
- ☆21Dec 3, 2025Updated 3 months ago
- ☆59Dec 1, 2025Updated 3 months ago
- documentation used in my projects☆17Updated this week
- minimal Energy-based transformer☆43Dec 11, 2025Updated 3 months ago
- The Lean Theorem Proving Environment☆15May 7, 2023Updated 2 years ago
- Row-wise block scaling for fp8 quantization matrix multiplication. Solution to GPU mode AMD challenge.☆18Feb 9, 2026Updated last month
- Central limit theorem in Lean☆15Mar 4, 2026Updated 2 weeks ago
- 🕷️ n8n Community Node for Scrappey API – Automate web scraping and data extraction with advanced anti-bot blocking technology, seamlessl…☆16Feb 2, 2026Updated last month
- ☆25Apr 21, 2021Updated 4 years ago
- A wrapper around libssh2 for .NET☆30Jan 21, 2026Updated 2 months ago
- Personal Finance Expense Tracker☆20Nov 14, 2025Updated 4 months ago
- ☆43Jul 21, 2025Updated 8 months ago
- [NeurIPS 2025, Spotlight]: Ambient-o: Training Good models with Bad Data.☆33Jan 21, 2026Updated 2 months ago
- CLaMR: Contextualized Late-Interaction for Multimodal Content Retrieval☆24Jun 28, 2025Updated 8 months ago
- ☆22Jan 14, 2026Updated 2 months ago
- ☆24May 8, 2025Updated 10 months ago
- A powerful, interactive Python CLI for converting, manipulating, and inspecting media files using FFmpeg 🎬☆17Mar 16, 2026Updated last week
- Raptor is a modern, fast, and easy-to-use system for building disk images, bootable isos, containers and much more, from a simple, Docker…☆39Feb 10, 2026Updated last month
- key/value store for Python based on Cloudflare workers☆33Jun 13, 2025Updated 9 months ago
- [NeurIPS 2025] Beyond Masked and Unmasked: Discrete Diffusion Models via Partial Masking☆24Updated this week
- Simple application for tracking and managing a home schooling program.☆40Sep 13, 2025Updated 6 months ago
- Scans for used translations, compares with your translations file and removes the ones that are not in use.☆17Nov 21, 2025Updated 4 months ago
- Camera app drawn on SkiaSharp canvas with real-time SKSL shaders. Built-in desktop shader editor. Made with DrawnUI for .NET MAUI.☆22Mar 8, 2026Updated 2 weeks ago
- A modular, privacy-minded translation extension for browsers☆27Aug 16, 2025Updated 7 months ago
- ☆16Nov 25, 2022Updated 3 years ago
- Docker/podman container for llama.cpp/vllm/exllamav{2,3} orchestrated using llama-swap☆18Updated this week
- ArterialNet reconstructs arterial blood pressure (ABP) waveform☆13Feb 24, 2025Updated last year
- ☆16Jul 1, 2025Updated 8 months ago