☆95Oct 22, 2026Updated last week
Alternatives and similar repositories for CritPt
Users that are interested in CritPt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Model predictive control for robust quantum state preparation☆10Feb 9, 2022Updated 4 years ago
- ☆23Dec 3, 2025Updated 10 months ago
- AI-driven discovery of new Gravitational Wave Detectors☆26Jan 10, 2024Updated 2 years ago
- A benchmark that challenges language models to code solutions for scientific problems☆245Updated this week
- ☆30Aug 12, 2026Updated 2 months 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.
- Public repository for the Remote Labor Index (RLI)☆81Nov 3, 2025Updated 11 months ago
- ☆20Jun 19, 2026Updated 4 months ago
- Sun et al. Distributed AI agents enable comprehensive discovery of biological insights at scale☆33Oct 24, 2026Updated last week
- ABench is an evolving open-source benchmark suite designed to rigorously evaluate and enhance Large Language Models (LLMs) on complex cro…☆30Jul 30, 2026Updated 3 months ago
- Topoly Python test package☆10Sep 8, 2025Updated last year
- ☆17Sep 11, 2026Updated last month
- Unofficial entropix impl for Gemma2 and Llama and Qwen2 and Mistral☆17Jan 12, 2025Updated last year
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated last month
- Humanity's Last Exam☆1,737Sep 23, 2026Updated last month
- 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.
- A complete Lean 4 formalization of the Kakeya set problem over finite fields☆23Dec 16, 2025Updated 10 months ago
- UQ: Assessing Language Models on Unsolved Questions☆30Aug 26, 2025Updated last year
- Lean formalizations for the paper "ABC implies that Ramanujan's Tau function misses almost all primes"☆12Sep 11, 2026Updated last month
- Ringdown analysis with rational filters.☆10Jun 5, 2026Updated 4 months ago
- Exploring implementing a simple tagger using neural network frameworks☆20Oct 24, 2022Updated 4 years ago
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Sep 11, 2026Updated last month
- Tools for writing good AI generated papers☆17Updated this week
- Repository for figures and tex files of the book "Modern applications of machine learning in quantum sciences"☆21Jun 7, 2025Updated last year
- ☆18Oct 15, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- [EMNLP 2026] MDM-Prime-v2: Binary Encoding and Index Shuffling Enable Scaling of Diffusion Language Models☆30Oct 6, 2026Updated 3 weeks ago
- TUI conversation explorer for Claude Code & OpenCode☆21Aug 21, 2025Updated last year
- Interfacing with Large Language Models (remote and local) from Lean.☆29Jul 15, 2024Updated 2 years ago
- ☆82May 31, 2026Updated 5 months ago
- Analyse molecular dynamics simulations of interfacial and confined systems.☆17Oct 2, 2026Updated 3 weeks ago
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- A benchmark to evaluate search-augmented LLMs☆17Aug 28, 2025Updated last year
- This repository contains code for data preparation and experiments for pre training llm with repository level context in various ways☆12Aug 1, 2023Updated 3 years ago
- Julia package for simulating quantum evolution, including quantum Bayesian stochastic readout.☆13Jun 30, 2020Updated 6 years ago
- 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.
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆73Apr 7, 2026Updated 6 months ago
- Reproduction code for Lattice Deduction Transformers☆42Updated this week
- A project to digitalise results from physics into Lean.☆816Updated this week
- Benchmarking Language Agents Under Controllable and Extreme Context Growth☆63Apr 29, 2026Updated 6 months ago
- A Benchmark for Extracting Experiments from Scientific Literature | ICML'26 AI4Science!☆17Jul 29, 2026Updated 3 months ago
- Monomial ordered polynomial implementation in Lean4☆11Oct 2, 2026Updated 3 weeks ago
- ☆15Mar 25, 2026Updated 7 months ago