This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".
☆74May 9, 2025Updated 10 months ago
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
- source code for AAMAS 2023 Imperfect-information Card Game Competition☆13Mar 21, 2024Updated 2 years ago
- A demonstration of the paper NER Retriever: Zero-Shot Named Entity Retrieval with Type-Aware Embeddings☆39Sep 13, 2025Updated 6 months ago
- Official implementation of TBA for async LLM post-training.☆29Nov 5, 2025Updated 4 months ago
- Simple MoE - Day 17 of 365 Days of Repos☆18Jan 17, 2025Updated last year
- 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.
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated 10 months ago
- ☆84Aug 31, 2023Updated 2 years ago
- ☆36Feb 26, 2024Updated 2 years ago
- ☆13Dec 13, 2024Updated last year
- Code of paper "HyperVLA: Efficient Inference in Vision-Language-Action Models via Hypernetworks"☆24Oct 8, 2025Updated 5 months ago
- ☆16Jul 13, 2022Updated 3 years ago
- Position Coupling: Improving Length Generalization of Arithmetic Transformers Using Task Structure (NeurIPS 2024) + Arithmetic Transfor…☆14Oct 26, 2025Updated 5 months ago
- ☆25Aug 23, 2024Updated last year
- Code for "Adaptive Self-improvement LLM Agentic System for ML Library Development" (ICML 2025)☆15Jan 6, 2026Updated 2 months ago
- 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.
- Code for "Variational Reasoning for Language Models"☆58Sep 29, 2025Updated 6 months ago
- ☆66Jul 14, 2025Updated 8 months ago
- AgentProg: Empowering Long-Horizon GUI Agents with Program-Guided Context Management☆25Mar 17, 2026Updated last week
- MARSHAL: Incentivizing Multi-Agent Reasoning via Self-Play with Strategic LLMs☆40Mar 13, 2026Updated 2 weeks ago
- Official repository for paper: T(R,O) Grasp: Efficient Graph Diffusion of Robot-Object Spatial Transformation for Cross-Embodiment Dexter…☆31Oct 15, 2025Updated 5 months ago
- An Ultra-Long Output Reinforcement Learning Approach☆23Jul 31, 2025Updated 7 months ago
- An agent to run FlowFuse managed instances of Node-RED on devices☆19Updated this week
- Accelerating RL for LLM Reasoning with Optimal Advantage Regression☆40May 30, 2025Updated 9 months ago
- ☆77Feb 18, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- [ICML 2025] Improving Planning of Agents for Long-Horizon Tasks☆27Oct 2, 2025Updated 5 months ago
- The official repository of the Omni-MATH benchmark.☆93Dec 22, 2024Updated last year
- Differentiable Perturb-and-Parse operator☆25Mar 7, 2019Updated 7 years ago
- 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"☆54Nov 12, 2025Updated 4 months ago
- Lightning Attention-2: A Free Lunch for Handling Unlimited Sequence Lengths in Large Language Models☆341Feb 23, 2025Updated last year
- 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"☆37Oct 1, 2025Updated 5 months ago
- [CHIL 2024] Interpretation of Intracardiac Electrograms Through Textual Representations☆12Sep 4, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆33Sep 19, 2025Updated 6 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
- ☆105Dec 6, 2024Updated last year
- Code for the paper "Distinguishing the Knowable from the Unknowable with Language Models"☆11Apr 15, 2024Updated last year
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆124Sep 9, 2024Updated last year
- ☆48Oct 28, 2025Updated 5 months ago
- [ICLR 2025] When Attention Sink Emerges in Language Models: An Empirical View (Spotlight)☆160Jul 8, 2025Updated 8 months ago