certified-reasoning
LOGICGUIDE
| certified-reasoning | LOGICGUIDE | |
|---|---|---|
| 1 | 2 | |
| 26 | 14 | |
| - | - | |
| 7.9 | 6.1 | |
| 6 months ago | 11 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.
certified-reasoning
-
Large Language Models for Compiler Optimization
https://github.com/gpoesia/certified-reasoning
It's based on Peano, a theorem proving environment
LOGICGUIDE
- 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?
ml-compiler-opt - Infrastructure for Machine Learning Guided Optimization (MLGO) in LLVM.
Dalle3 - An API for DALLE-3
ToolEmu - A language model (LM)-based emulation framework for identifying the risks of LM agents with tool use
Sophia - Effortless plugin and play Optimizer to cut model training costs by 50%. New optimizer that is 2x faster than Adam on LLMs.
tree-of-thoughts - Plug in and Play Implementation of Tree of Thoughts: Deliberate Problem Solving with Large Language Models that Elevates Model Reasoning by atleast 70%
Perceiver - Implementation of Perceiver, General Perception with Iterative Attention in TensorFlow
Flipped-Learning - [ICLR 2023] Guess the Instruction! Flipped Learning Makes Language Models Stronger Zero-Shot Learners
routing-transformer - Fully featured implementation of Routing Transformer
zeta - Build high-performance AI models with modular building blocks
enformer-pytorch - Implementation of Enformer, Deepmind's attention network for predicting gene expression, in Pytorch
tab-transformer-pytorch - Implementation of TabTransformer, attention network for tabular data, in Pytorch