Official Repository for NeurIPS 2025 Paper: "A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning"
☆14Nov 10, 2025Updated last year
Alternatives and similar repositories for RPC
Users that are interested in RPC are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Sep 12, 2025Updated last year
- [DL4C @ NeurIPS 2025] On-Device Environment Setup via Online Reinforcement Learning☆13Dec 2, 2025Updated 11 months ago
- Training Coder Models with Critique Reinforcement Learning [ICLR26]☆13Apr 11, 2026Updated 7 months ago
- [ICML 2023] Structural Re-weighting Improves Graph Domain Adaptation (StruRW)☆23Jun 20, 2023Updated 3 years ago
- [ICML'24] BAT: 🚀 Boost Class-imbalanced Node Classification with <10 lines of Code | 从拓扑视角出发10行代码改善类别不平衡节点分类☆29Nov 27, 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.
- The PsiloQA pipeline automates the construction of a multilingual, span-level hallucination detection dataset with contexts.☆16Apr 24, 2026Updated 6 months ago
- [EMNLP 2025] Official code for the paper "SafeKey: Amplifying Aha-Moment Insights for Safety Reasoning"☆16May 12, 2026Updated 6 months ago
- [KDD 2026] Chem-R: Learning to Reason as a Chemist☆32Oct 19, 2025Updated last year
- ☆14Jun 3, 2024Updated 2 years ago
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 11 months ago
- ☆10Jul 11, 2022Updated 4 years ago
- Minimal Approaches to solving ARC 1 and ARC 2☆14Oct 23, 2026Updated 2 weeks ago
- "proving-contest"-backends for several theorem provers☆13Oct 15, 2024Updated 2 years ago
- [ICLR 2026] "Test-Time Scaling in Diffusion LLMs via Hidden Semi-Autoregressive Experts"☆15Feb 10, 2026Updated 9 months 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.
- [USENIX'25] HateBench: Benchmarking Hate Speech Detectors on LLM-Generated Content and Hate Campaigns☆15Mar 1, 2025Updated last year
- Constraint-based Learning with Neural Networks☆14Dec 7, 2020Updated 5 years ago
- An experimental package for python project root setup with just one import☆16Jun 22, 2026Updated 4 months ago
- The Walnut Plan☆11Oct 10, 2024Updated 2 years ago
- Code for NeurIPS 2020 paper 'Self-imitation Learning via Generalized Lower bound Q-learning'☆12Feb 13, 2021Updated 5 years ago
- [DiffuAgent] The Bitter Lesson of Diffusion Language Models for Agentic Workflows☆14Jan 30, 2026Updated 9 months ago
- [CVPR 2025] Official Implementation of Decoupling Training-Free Guided Diffusion by ADMM☆12Dec 17, 2024Updated last year
- Fully Test-time Adaptation for Tabular Data☆12Feb 12, 2025Updated last year
- [NeurIPS 2025 D&B Track] Benchmarking Language Models on Imperfect Tabular Data☆13Jul 31, 2025Updated last year
- 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.
- ☆12Jul 13, 2023Updated 3 years ago
- ☆11Oct 21, 2023Updated 3 years ago
- Vim plugin to copy text to Windows clipboard on WSL☆12Jan 8, 2023Updated 3 years ago
- code for our BMVC 2021 paper "HCV: Hierarchy-Consistency Verification for Incremental Implicitly-Refined Classification"☆15Oct 28, 2022Updated 4 years ago
- Official repository for paper "Can Language Models Follow Multiple Turns of Entangled Instructions?"☆13Sep 20, 2025Updated last year
- [ICLR 2026] "Reference-guided Policy Optimization for Molecular Optimization via LLM Reasoning"☆13Mar 19, 2026Updated 7 months ago
- Code for the paper "Spectrum Guided Topology Augmentation for Graph Contrastive Learning"☆11Jul 18, 2023Updated 3 years ago
- ATOD: Annealed Turn-Aware On-Policy Distillation for Multi-Turn Agentic Tasks☆21Sep 11, 2026Updated 2 months ago
- Training and inference code for "Training Language Models for Social Deduction with Multi-Agent Reinforcement Learning"☆43Jan 20, 2025Updated last year
- 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.
- BEDTime: Unified Benchmark for Automatically Describing of Time Series☆10Sep 30, 2025Updated last year
- ☆12Aug 7, 2024Updated 2 years ago
- "Efficient Neural Theorem Proving via Fine-grained Proof Structure Analysis" (ICML 2025) official implementation.☆16Jun 8, 2025Updated last year
- Code to reproduce the numerical experiments in the paper Domain adaptation under structural causal models by Yuansi Chen and Peter Bühlma…☆17Jun 7, 2021Updated 5 years ago
- Examples for TLAPS (TLA+ Proof System)☆17May 9, 2020Updated 6 years ago
- Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.☆22Jul 21, 2017Updated 9 years ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated 4 months ago
Are these results useful?