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