certified-reasoning
Certified Reasoning with Language Models (by gpoesia)
LOGICGUIDE
Plug in and Play implementation of "Certified Reasoning with Language Models" that elevates model reasoning by 40% (by kyegomez)
| certified-reasoning | LOGICGUIDE | |
|---|---|---|
| 1 | 2 | |
| 31 | 15 | |
| - | - | |
| 7.9 | 6.1 | |
| over 1 year ago | over 1 year ago | |
| Python | Python | |
| MIT License | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.
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.
certified-reasoning
Posts with mentions or reviews of certified-reasoning.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-09-17.
-
Large Language Models for Compiler Optimization
https://github.com/gpoesia/certified-reasoning
It's based on Peano, a theorem proving environment
LOGICGUIDE
Posts with mentions or reviews of LOGICGUIDE.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-09-17.
- Large Language Models for Compiler Optimization
-
[D] Potential scammer on github stealing work of other ML researchers?
I was looking for implementation of this paper https://arxiv.org/pdf/2306.04031.pdf so I searched for logicguide github and found this repo https://github.com/kyegomez/LOGICGUIDE
What are some alternatives?
When comparing certified-reasoning and LOGICGUIDE you can also consider the following projects:
ml-compiler-opt - Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.
ToolEmu - [ICLR'24 Spotlight] A language model (LM)-based emulation framework for identifying the risks of LM agents with tool use
zeta - Build high-performance AI models with modular building blocks
Sophia - Effortless plugin and play Optimizer to cut model training costs by 50%. New optimizer that is 2x faster than Adam on LLMs.