A framework for verifiable reasoning with language models.
☆43Jul 15, 2026Updated this week
Alternatives and similar repositories for interwhen
Users that are interested in interwhen are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- React-native toolkit with a suite of UI components for building content-heavy mobile apps.☆11Jul 19, 2023Updated 3 years ago
- Humpback Whale Identification Kaggle Competition: Classify whale into one of the 5004 classes or say that it is an unknown whale.☆14Apr 7, 2019Updated 7 years ago
- ACL24☆11Jun 7, 2024Updated 2 years ago
- Neuropathic Pain Diagnosis Simulator☆14Jul 6, 2023Updated 3 years ago
- StAtutory Reasoning Assessment☆17Dec 8, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- [COLM 2025] Official code for "When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoni…☆15Oct 31, 2025Updated 8 months ago
- ☆16Jul 10, 2023Updated 3 years ago
- ☆12Aug 6, 2024Updated last year
- Implementation for the paper "Fictitious Synthetic Data Can Improve LLM Factuality via Prerequisite Learning"☆11Jan 10, 2025Updated last year
- Metacognition in LLMs: Foundations, Progress, and Opportunities☆44Updated this week
- ☆22Apr 4, 2025Updated last year
- A modular framework for building massively parallel agentic systems☆32Sep 8, 2025Updated 10 months ago
- ☆16Jul 23, 2024Updated last year
- Open-source Human Feedback Library☆11Oct 25, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆10Nov 29, 2024Updated last year
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆18Apr 7, 2026Updated 3 months ago
- Multi-account linking and switching for Phoenix apps using Ash and AshAuthentication.☆19Mar 5, 2026Updated 4 months ago
- A Pythonic library for scientific visualization in SVG☆21Jul 2, 2026Updated 2 weeks ago
- 💬 Use your GitHub repo's Issues as your own free ChatGPT (yes, really!)☆13Jun 9, 2026Updated last month
- [EMNLP 2023] Knowledge Rumination for Pre-trained Language Models☆17Jun 29, 2023Updated 3 years ago
- Code for Rethinking Prompt Optimizers: From Prompt Merits to Optimization☆13Jan 12, 2026Updated 6 months ago
- Revolve: Optimizing AI Systems by Tracking Response Evolution in Textual Optimization☆22Dec 13, 2024Updated last year
- Plugins for Docusaurus and Rise4Fun☆15Dec 2, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19Apr 16, 2025Updated last year
- Repository for the ACL 2024 conference website☆18Feb 3, 2025Updated last year
- [EMNLP 2024] Official implementation of "Hierarchical Deconstruction of LLM Reasoning: A Graph-Based Framework for Analyzing Knowledge Ut…☆23Dec 4, 2024Updated last year
- An implementation of the Augmented Random Search algorithm☆14Jan 29, 2022Updated 4 years ago
- a plugin for SimonW llm CLI which analyses diffs in a local git repository , generates commit messages in an interactive prompt & commits☆20Jun 27, 2025Updated last year
- NoiseGrad (and its extension NoiseGrad++) is a method to enhance explanations of artificial neural networks by adding noise to model weig…☆22May 11, 2023Updated 3 years ago
- ☆66Feb 14, 2026Updated 5 months ago
- Clustered Compositional Embeddings☆13Oct 25, 2023Updated 2 years ago
- A flexible framework for AI agents that separates workflow logic from search strategy. Based on https://arxiv.org/pdf/2512.03571 Also rea…☆24Feb 10, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simulated large clusters for Kubernetes scheduler validation.☆15Jan 3, 2023Updated 3 years ago
- Command line tool for MakeCode editors☆18Jun 3, 2026Updated last month
- ☆11Updated this week
- Official code for paper "Reasoning Fails Where Step Flow Breaks" (ACL 2026)☆18Apr 19, 2026Updated 3 months ago
- "SALLM: Security Assessment of Generated Code" accepted at ASYDE workshop co-located with ASE'24.☆16Updated this week
- Notes on Direct Preference Optimization☆28Apr 14, 2024Updated 2 years ago
- Bin Packing Algorithms implemented in Python☆11Feb 16, 2014Updated 12 years ago