math
pal
| math | pal | |
|---|---|---|
| 1 | 4 | |
| 713 | 436 | |
| - | 1.4% | |
| 0.0 | 3.1 | |
| 5 months ago | 10 months ago | |
| Python | Python | |
| MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
math
pal
-
Prompt Engineering Guide: Guides, papers, and resources for prompt engineering
Using the terminology that I'm working with this is an example of a second-order analytic augmentation!
Here's another approach of second-order analytic augmentation, PAL: https://reasonwithpal.com
And third-order, Toolformer: https://arxiv.org/abs/2302.04761
The difference isn't in what is going on but rather with framing the approach within the analytic-synthetic distinction developed by Kant and the analytic philosophers who were influenced by his work. There's a dash of functional programming thrown in for good measure!
I have scribbled on a print-out of the article on my desk:
Nth Order - [R] Faithful Chain-of-Thought Reasoning
-
GPT-3: Techniques to improve reliability
GitHub: https://github.com/reasoning-machines/pal
tl;dr -- LLMs are bad at basic arithmetic and logic (as their opening examples with math word problems show), but they do much better if instead of asking them for the answer, you ask for code to compute the answer. Then evaluate or run the code to get the answer.
What are some alternatives?
SymPy - A computer algebra system written in pure Python
openai-cookbook - Examples and guides for using the OpenAI API
multimodal - A collection of multimodal datasets, and visual features for VQA and captionning in pytorch. Just run "pip install multimodal"
qagnn - [NAACL 2021] QAGNN: Question Answering using Language Models and Knowledge Graphs 🤖
libertinus - The Libertinus font family
memprompt - A method to fix GPT-3 after deployment with user feedback, without re-training.
manim - A community-maintained Python framework for creating mathematical animations.
prompt-lib - A set of utilities for running few-shot prompting experiments on large-language models
python-business-logic - Python package that makes creating complicated business logic easy
empirical-philosophy - A collection of empirical experiments using large language models and other neural network architectures to test the usefulness of metaphysical constructs.
temporal-graph-gen - Pre-trained models for our work on Temporal Graph Generation
Prompt-Engineering-Guide - 🐙 Guides, papers, lecture, notebooks and resources for prompt engineering