☆26Sep 12, 2025Updated last year
Alternatives and similar repositories for bayesian-semantic-entropy
Users that are interested in bayesian-semantic-entropy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Jun 2, 2026Updated 3 months ago
- A verifier that integrates LLMs into automated C program verification☆17Apr 4, 2026Updated 5 months ago
- ☆10Mar 8, 2022Updated 4 years ago
- ☆13Feb 18, 2024Updated 2 years ago
- Synthetic pretraining data by rephrasing the web☆35Jun 5, 2026Updated 3 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Apache Lucene/Solr Guide☆13Oct 14, 2021Updated 4 years ago
- (NeurIPS 2026) Code of "X2HDR: HDR Image Generation in a Perceptually Uniform Space"☆21Updated this week
- Custom Keras ML block example for Edge Impulse☆12Sep 17, 2026Updated last week
- Lean formalizations for the paper "On the paucity of lattice triangles"☆19Sep 11, 2026Updated 2 weeks ago
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 5 months ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A Semaphore demo CI/CD pipeline using Ruby on Rails☆14Apr 2, 2025Updated last year
- Translate word embeddings across models☆10Aug 17, 2020Updated 6 years ago
- Streaming Generative AI Application on AWS☆14Jun 24, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆10Jul 17, 2016Updated 10 years ago
- Code Complexity measuring tool, which measure the Complexity due to Size, Type and the Nesting Level of Control Structures, Inheritance, …☆15Jan 7, 2023Updated 3 years ago
- Interactive Theorem Proving course using HOL4☆14Mar 27, 2026Updated 6 months ago
- Official implementation of MPO: Automatically optimizing both textual and non-textual prompts for MLLMs.☆31Apr 9, 2026Updated 5 months ago
- The x86_energy library allows to count power and energy values.☆12Dec 6, 2024Updated last year
- android auto clicke with linux and scrcpy☆14Feb 22, 2021Updated 5 years ago
- Reactive Java Spring Boot with Spring Data MongoDB☆12Jul 18, 2024Updated 2 years ago
- [AAAI 2024] The dataset used in our paper "Shadow Generation with Decomposed Mask Prediction and Attentive Shadow Filling", AAAI 2024.☆22Aug 20, 2026Updated last month
- Track and share AI ✨ and clipboard operations 📋 within your IDE☆17Aug 5, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Oct 12, 2023Updated 2 years ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- Predict height on monocular image data (PyTorch)☆23May 27, 2024Updated 2 years ago
- Erlang IDE engine supporting source code indexing and manipulation. Currently only an Eclipse client is implemented.☆17Jun 3, 2025Updated last year
- For unmanned missions into GPT returning structured data☆12May 16, 2023Updated 3 years ago
- ☆10Nov 5, 2016Updated 9 years ago
- Multithreaded TCP Client/Server implementation in C++☆12Jul 20, 2022Updated 4 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Python wrapper for lean-gym☆13Apr 5, 2023Updated 3 years 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.
- Parallel, fused reducers for Lean 4☆16May 30, 2026Updated 3 months ago
- Palestra para encontro do Grupy-SP em 12 de março de 2016.☆15Jun 17, 2016Updated 10 years ago
- Official source code for Time is Not Enough: Time-Frequency based Explanation for Time-Series Black-Box Models☆14Dec 5, 2024Updated last year
- ☆15Feb 9, 2026Updated 7 months ago
- ☆10Nov 7, 2022Updated 3 years ago
- ☆49Sep 18, 2026Updated last week
- A Python library that implements scoring utilities, analysis strategies, and visualization methods which can serve uplift modeling use-ca…☆24Mar 1, 2023Updated 3 years ago