A framework for verifiable reasoning with language models.
☆47Jul 15, 2026Updated 3 months ago
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:
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 9 months ago
- Live Deep Research Bench. A challenging, objective benchmark for deep research tasks.☆22Oct 16, 2025Updated last year
- React-native toolkit with a suite of UI components for building content-heavy mobile apps.☆12Jul 19, 2023Updated 3 years ago
- ☆15Nov 9, 2016Updated 9 years ago
- Neuropathic Pain Diagnosis Simulator☆14Jul 6, 2023Updated 3 years 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.
- StAtutory Reasoning Assessment☆17Dec 8, 2022Updated 3 years ago
- [COLM 2025] Official code for "When To Solve, When To Verify: Compute-Optimal Problem Solving and Generative Verification for LLM Reasoni…☆15Oct 31, 2025Updated 11 months ago
- ☆16Jul 10, 2023Updated 3 years ago
- ☆11Aug 6, 2024Updated 2 years ago
- LibCP -- A Library for Conformal Prediction☆13Feb 26, 2015Updated 11 years ago
- ☆23Apr 4, 2025Updated last year
- Similarity Encoder (SimEc) Neural Network Framework for learning low dimensional similarity preserving representations☆17Jun 28, 2020Updated 6 years ago
- ☆16Jul 23, 2024Updated 2 years ago
- ☆11Jul 17, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Metacognition in LLMs: Foundations, Progress, and Opportunities☆78Jul 19, 2026Updated 2 months ago
- Multi-encoder segmentation for contrail detection in satellite imagery | Google Researc☆11Jan 28, 2026Updated 8 months ago
- 2nd Place Solution for the Google Research - Identify Contrails to Reduce Global Warming Competition☆14Aug 15, 2023Updated 3 years ago
- Open-source Human Feedback Library☆11Oct 25, 2023Updated 2 years ago
- ☆10Nov 29, 2024Updated last year
- Code for Quantifying Ignorance in Individual-Level Causal-Effect Estimates under Hidden Confounding☆25Dec 6, 2022Updated 3 years ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 6 months ago
- Replication files for Chernozhukov, Newey, Quintas-Martínez and Syrgkanis (2021) "RieszNet and ForestRiesz: Automatic Debiased Machine Le…☆17Jun 14, 2022Updated 4 years ago
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 3 years ago
- 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.
- A fully recursive RLM in Elixir☆26Feb 14, 2026Updated 8 months ago
- Material for UW Extension Data Science 350☆19Dec 31, 2017Updated 8 years ago
- [EMNLP 2023] Knowledge Rumination for Pre-trained Language Models☆17Jun 29, 2023Updated 3 years ago
- Git for "Stepwise Self-Consistent Mathematical Reasoning with Large Language Models"☆12Nov 26, 2024Updated last year
- Revolve: Optimizing AI Systems by Tracking Response Evolution in Textual Optimization☆23Dec 13, 2024Updated last year
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Oct 11, 2026Updated last week
- Dependency Parsing as Sequence Labeling with BERT☆13Nov 1, 2020Updated 5 years ago
- ☆12Apr 19, 2024Updated 2 years ago
- Streaming markdown renderer for Phoenix LiveView, optimized for LLM output☆26May 3, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- T2NER: Transformers based Transfer Learning Framework for Named Entity Recognition (EACL 2021)☆11Sep 24, 2022Updated 4 years ago
- ☆13Jun 29, 2021Updated 5 years ago
- [EMNLP 2024] Official implementation of "Hierarchical Deconstruction of LLM Reasoning: A Graph-Based Framework for Analyzing Knowledge Ut…☆23Dec 4, 2024Updated last year
- A python package for modeling, persisting and visualizing causal graphs embedded in knowledge graphs.☆65Dec 15, 2023Updated 2 years ago
- Synthetic data generation for evaluating LLM symbolic and logic reasoning☆23Aug 13, 2026Updated 2 months ago
- Repository for the ACL 2024 conference website☆18Feb 3, 2025Updated last year
- A flexible framework for AI agents that separates workflow logic from search strategy. Based on https://arxiv.org/pdf/2512.03571 Also rea…☆23Feb 10, 2026Updated 8 months ago