Advanced NLP, Fall 2025 https://cmu-l3.github.io/anlp-fall2025/
☆70Jan 18, 2026Updated 8 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:
- ☆18Updated this week
- Advanced NLP, Spring 2025 https://cmu-l3.github.io/anlp-spring2025/☆77Mar 28, 2025Updated last year
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated last year
- Benchmark Test-Time Scaling of General LLM Agents☆26Apr 14, 2026Updated 6 months ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Neural theorem proving tutorial, version II☆39Apr 26, 2024Updated 2 years ago
- ☆25Apr 21, 2021Updated 5 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- ☆62Dec 1, 2025Updated 10 months ago
- ☆16Oct 8, 2026Updated last week
- This repository is intended as a comprehensive guide to prepare for interviews focused on generative AI. It serves as a one-stop resource…☆11Dec 13, 2024Updated last year
- ☆12Nov 21, 2016Updated 9 years ago
- [CIKM 2022] Towards Automated Over-Sampling for Imbalanced Classification☆10Mar 20, 2023Updated 3 years ago
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Apr 24, 2026Updated 5 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.
- Code from the CMU LM inference fall 2025 edition.☆51Dec 7, 2025Updated 10 months ago
- ☆23Feb 27, 2025Updated last year
- ☆47May 24, 2025Updated last year
- ☆16May 28, 2026Updated 4 months ago
- Official Repo for "Multi-objective Differentiable Neural Architecture Search"☆13Jul 12, 2024Updated 2 years ago
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆101Updated this week
- ☆22Oct 14, 2024Updated 2 years ago
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 5 months ago
- ☆17Jun 10, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 同济大学计科机器学习大作业☆11Mar 22, 2025Updated last year
- The docs about the crystaline coin are collected here!☆10May 12, 2025Updated last year
- A Multi-objective Multi-fidelity acquisition function for Bayesian optimization based on EHVI method.☆15May 18, 2022Updated 4 years ago
- ☆23Jan 14, 2026Updated 9 months ago
- Course project☆15Apr 20, 2023Updated 3 years ago
- ☆13Aug 9, 2022Updated 4 years ago
- The Engineer's Guide to Deep-Learning☆37Jul 19, 2026Updated 2 months ago
- ☆57Jul 7, 2025Updated last year
- ☆10May 23, 2026Updated 4 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆16Nov 25, 2022Updated 3 years ago
- Frontend of https://bbchallenge.org☆22Sep 29, 2026Updated 2 weeks ago
- [KDD 2023] Deep Pipeline Embeddings for AutoML☆17Jul 1, 2025Updated last year
- Tools for formatting large language model prompts.☆13Dec 19, 2023Updated 2 years ago
- [COLM-LLA 2026] The official implementation for paper "AdaExplore: Failure-Driven Adaptation and Diversity-Preserving Search for Efficien…☆23Aug 23, 2026Updated last month
- Aerospike Fork of the JEMalloc Memory Allocator☆24Feb 11, 2026Updated 8 months ago
- [ECCV2022] Rethinking Data Augmentation for Robust Visual Question Answering☆12Nov 23, 2022Updated 3 years ago