chr26195 / PENCILView external linksLinks
This is the official implementation for paper "PENCIL: Long Thoughts with Short Memory".
☆73May 9, 2025Updated 9 months ago
Alternatives and similar repositories for PENCIL
Users that are interested in PENCIL are comparing it to the libraries listed below
Sorting:
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Oct 17, 2023Updated 2 years ago
- Simple MoE - Day 17 of 365 Days of Repos☆16Jan 17, 2025Updated last year
- Playbox for my MEng work, 2014-2015. Many other private repos are in Bitbucket.☆17May 17, 2015Updated 10 years ago
- Official implementation of TBA for async LLM post-training.☆28Nov 5, 2025Updated 3 months ago
- Research projects on person re-identification☆23Mar 7, 2014Updated 11 years ago
- ☆73Jan 31, 2026Updated last week
- Code for paper "Dependency-based Mixture Language Models" by Zhixian Yang, and Xiaojun Wan. This paper is accepted by ACL 2022 Main Confe…☆26May 27, 2022Updated 3 years ago
- ☆23Dec 2, 2016Updated 9 years ago
- [CHIL 2024] Interpretation of Intracardiac Electrograms Through Textual Representations☆12Sep 4, 2024Updated last year
- ☆46Oct 28, 2025Updated 3 months ago
- Differentiable Perturb-and-Parse operator☆25Mar 7, 2019Updated 6 years ago
- SqueezeNet: AlexNet-level accuracy with 50x fewer parameters☆21Mar 2, 2016Updated 9 years ago
- ☆67Updated this week
- ☆35Jan 12, 2026Updated last month
- ☆71Oct 16, 2024Updated last year
- Code for "Variational Reasoning for Language Models"☆56Sep 29, 2025Updated 4 months ago
- ☆35Feb 26, 2024Updated last year
- Awesome LLM papers, news and projects about learning to reason with LLM, OpenAI o1, reasonning techniques, chain-of-thought (COT), Large …☆27Oct 10, 2024Updated last year
- Revisiting Mid-training in the Era of Reinforcement Learning Scaling☆182Jul 23, 2025Updated 6 months ago
- Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision☆124Sep 9, 2024Updated last year
- Code and data used in the paper: "Training on Incorrect Synthetic Data via RL Scales LLM Math Reasoning Eight-Fold"☆32Jun 16, 2024Updated last year
- This demo shows how to learn a neural network on top of decision trees☆32May 15, 2017Updated 8 years ago
- An open-ended, self-improving AI system that evolves its own source code using a local LLM. Built for autonomy, reflection, and code evol…☆21Jan 24, 2026Updated 2 weeks ago
- [ICLR 2024] Provable Robust Watermarking for AI-Generated Text☆38Dec 4, 2023Updated 2 years ago
- 智慧园区☆10Aug 3, 2017Updated 8 years ago
- ☆146May 23, 2024Updated last year
- Faster R-CNN, an MXNet implementation with distributed implementation and data parallelization.☆36Jan 5, 2017Updated 9 years ago
- Computing various measures and generalization bounds on convolutional and fully connected networks☆35Dec 13, 2018Updated 7 years ago
- ☆10Feb 12, 2020Updated 6 years ago
- Q-HEART: ECG Question Answering via Knowledge-Informed Multimodal LLMs (ECAI 2025)☆14Jan 23, 2026Updated 3 weeks ago
- ☆14Mar 26, 2025Updated 10 months ago
- [NeurIPS 2025] Official code for "Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms"☆23Oct 23, 2025Updated 3 months ago
- ☆12Aug 6, 2024Updated last year
- A rules induction system for data mining and exploratory data analysis☆11Jul 17, 2024Updated last year
- ☆11Aug 3, 2023Updated 2 years ago
- A replica of the original Disney friendly robot WALL-E☆12Feb 25, 2020Updated 5 years ago
- AdaptiveStep: Automatically Dividing Reasoning Step through Model Confidence☆10Mar 2, 2025Updated 11 months ago
- ☆93Updated this week
- PyCaret deployment on Microsoft Azure using docker container☆10Dec 8, 2022Updated 3 years ago