☆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:
- Process Consistency Filter: Improve Reasoning Quality for LLM Reinforcement Learning☆11Sep 4, 2025Updated last year
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 7 months ago
- ☆12Feb 18, 2024Updated 2 years ago
- Lean 4 Markdown rendering library — types, rendering functions, and Represent typeclass☆14Jul 16, 2026Updated 3 months ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- The Bloomberg Terminal for Prediction Markets☆14Oct 25, 2026Updated last week
- generative language model training on top of the JAX and Huggingface 🤗☆10May 11, 2022Updated 4 years ago
- Translate word embeddings across models☆10Aug 17, 2020Updated 6 years ago
- Coding standards and other guidelines☆13Sep 22, 2026Updated last month
- Language comparison project☆14Sep 1, 2026Updated 2 months ago
- ☆20Oct 30, 2025Updated last year
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 6 months ago
- Docling → Jev vs Docling → Gemini 3.8 Flash vs Gemini reading the PDF: same documents, one clock, scored against arXiv's own metadata☆14Sep 22, 2026Updated last month
- 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.
- MIRIAD is a million-scale Medical Instruction and Retrieval Datatset☆146Nov 22, 2025Updated 11 months ago
- ☆10Sep 18, 2025Updated last year
- Deployment a light and full OpenAI API for production with vLLM to support /v1/embeddings with all embeddings models.☆46Jul 16, 2024Updated 2 years ago
- This from-scratch implementation of Ruehlman's SuperBake injects verified facts into Transformer models without gradient descent by appen…☆15Jul 24, 2026Updated 3 months ago
- Ad Marketplace powered by Harberger tax ownership (built @ ETHSF hackathon 2018)☆13Oct 20, 2018Updated 8 years ago
- Provable AI agents with behavioral guarantees enforced by formal verification, runtime security, and end-to-end audit trails.☆14Updated this week
- SDK for ASTRA — Agentic Schema for Transparent Research Analysis☆10Updated this week
- CalEF: Create and send Appointment-Confirmation-Message from Android-Calendar-Entry.☆14Dec 4, 2023Updated 2 years ago
- Semantic Parser Localizer (SPL) code repository☆10Mar 15, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Jupyter notebooks from our weekly (or so) hackathons☆11Dec 3, 2024Updated last year
- Umbrella website for Data Science for the Public Sector☆11Aug 2, 2024Updated 2 years ago
- Create custom dice with text and SVG faces☆13Aug 20, 2026Updated 2 months ago
- Data Hub makes lab instrument data instantly accessible to people, pipelines, and agents☆16Updated this week
- A simple gtk application for managing an OpenVPN killswitch☆12Oct 19, 2021Updated 5 years ago
- ☆13Oct 29, 2026Updated last week
- ☆23Updated this week
- Render and run context-rich Lean 4 prompts in VS Code.☆11Aug 14, 2025Updated last year
- An innovative RAG-powered tool for dynamic job interview prep and career guidance, leveraging top notch LLMs for personalized, real-time …☆11Jan 14, 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.
- Python CLI for creating, saving, and managing custom badges☆11Sep 12, 2023Updated 3 years ago
- incremental symbol learning for natural language understanding☆10Jun 12, 2023Updated 3 years ago
- Decontextualizing Snippets from Scientific Documents with Large Language Models☆13Oct 10, 2023Updated 3 years ago
- ☆14Jun 18, 2026Updated 4 months ago
- Official implementation of MPO: Automatically optimizing both textual and non-textual prompts for MLLMs.☆32Apr 9, 2026Updated 6 months ago
- AMx64 is a simulated 64-bit environment that can interpret nasm-like asm code. It allows a usage of different 64-bit registers and 64-bit…☆22Dec 22, 2023Updated 2 years ago
- ☆16Sep 29, 2026Updated last month