This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".
☆78May 9, 2025Updated last year
Alternatives and similar repositories for PENCIL
Users that are interested in PENCIL are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Oct 17, 2023Updated 2 years ago
- Simple MoE - Day 17 of 365 Days of Repos☆19Apr 21, 2026Updated last month
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated last year
- ☆85Aug 31, 2023Updated 2 years ago
- ☆37Feb 26, 2024Updated 2 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.
- ☆11Jan 2, 2026Updated 4 months ago
- ☆13Dec 13, 2024Updated last year
- [AAAI 2026] Official codebase for "GenPRM: Scaling Test-Time Compute of Process Reward Models via Generative Reasoning".☆99Nov 8, 2025Updated 6 months ago
- Codes for "Learning bounds for risk-sensitive learning," NeurIPS 2020 (or see arXiv 2006.08138)☆11Oct 15, 2020Updated 5 years ago
- ☆26Aug 23, 2024Updated last year
- Code for "Adaptive Self-improvement LLM Agentic System for ML Library Development" (ICML 2025)☆16Jan 6, 2026Updated 4 months ago
- Code for "Variational Reasoning for Language Models"☆60Sep 29, 2025Updated 7 months ago
- ☆67Jul 14, 2025Updated 10 months ago
- An Ultra-Long Output Reinforcement Learning Approach☆23Jul 31, 2025Updated 9 months 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.
- ☆16Jul 13, 2022Updated 3 years ago
- Accelerating RL for LLM Reasoning with Optimal Advantage Regression☆41May 30, 2025Updated 11 months ago
- ☆79Feb 18, 2026Updated 3 months ago
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆188Jul 23, 2025Updated 9 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆27May 25, 2024Updated last year
- Code for paper: "Executing Arithmetic: Fine-Tuning Large Language Models as Turing Machines"☆11Oct 11, 2024Updated last year
- Repo for "AlphaResearch: Accelerating New Algorithm Discovery with Language Models"☆56Nov 12, 2025Updated 6 months ago
- Research Papers on Efficient Neural Fields from EffL Group☆16Apr 21, 2025Updated last year
- Lightning Attention-2: A Free Lunch for Handling Unlimited Sequence Lengths in Large Language Models☆344Feb 23, 2025Updated last year
- 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.
- So, I trained a Llama a 130M architecture I coded from ground up to build a small instruct model from scratch. Trained on FineWeb dataset…☆17Mar 26, 2025Updated last year
- The code for paper "EPO: Entropy-regularized Policy Optimization for LLM Agents Reinforcement Learning"☆38Oct 1, 2025Updated 7 months ago
- [CHIL 2024] Interpretation of Intracardiac Electrograms Through Textual Representations☆12Sep 4, 2024Updated last year
- ☆34Sep 19, 2025Updated 8 months ago
- Code for the paper "PLASTIC: Improving Input and Label Plasticity for Sample Efficient Reinforcement Learning" (NeurIPS 2023)☆22Dec 8, 2023Updated 2 years ago
- ☆106Dec 6, 2024Updated last year
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆124Sep 9, 2024Updated last year
- ☆50Oct 28, 2025Updated 6 months ago
- Synthesiser for Asynchronous Verilog Language☆20Oct 29, 2014Updated 11 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.
- [ICLR 2025] When Attention Sink Emerges in Language Models: An Empirical View (Spotlight)☆160Jul 8, 2025Updated 10 months ago
- Puzzle Generator; Einstein's Riddle, Zebra Puzzle and Blood Donation Puzzle Solver. For non-commercial use only!☆19Mar 4, 2023Updated 3 years ago
- ☆18Sep 1, 2019Updated 6 years ago
- ☆101Feb 11, 2026Updated 3 months ago
- ☆341Jun 5, 2025Updated 11 months ago
- A probabilistic CKY parser for PCFGs☆19Mar 12, 2014Updated 12 years ago
- The official implementation of DeepRTL: Bridging Verilog Understanding and Generation with a Unified Representation Model (ICLR 2025)☆17Dec 18, 2025Updated 5 months ago