This is stars and forks stats for /BartoszPiotrowski/lean-premise-selection repository. As of 18 Apr, 2024 this repository has 12 stars and 0 forks.
Premise selection for Lean The aim of this project is to provide a tool for premise selection for Lean users. The premise selection mechanism is based on machine learning -- a custom version of the random forest algorithm. The machine learning model is trained on data extracted from mathlib. Each training data point is a pair (features T, premises T), where T is a theorem, features T are features of a statement of T extracted by our featurizer, and premises T is a list of names of premises used in...
Premise selection for Lean The aim of this project is to provide a tool for premise selection for Lean users. The premise selection mechanism is based on machine learning -- a custom version of the random forest algorithm. The machine learning model is trained on data extracted from mathlib. Each training data point is a pair (features T, premises T), where T is a theorem, features T are features of a statement of T extracted by our featurizer, and premises T is a list of names of premises used in...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
disnake-ru/guide | MarkdownJavaScriptPython | 16 | 0 | 25 | 0 |
ossia/libossia | MaxC++C | 190 | 0 | 27 | 0 |
treeform/fidget | NimTypeScriptHTML | 730 | 0 | 32 | 0 |
input-output-hk/cardano-graphql | NixTypeScriptDockerfile | 249 | 0 | 98 | 0 |
cmdr2/stable-diffusion-ui | JavaScriptPythonCSS | 8k | 0 | 653 | 0 |
ainfosec/FISSURE | PythonC++C | 1.4k | 0 | 72 | 0 |
FongMi/TV | JavaJavaScriptCSS | 2k | +30 | 911 | +12 |
itorr/sakana | JavaScriptHTMLLess | 1.9k | 0 | 129 | 0 |
zachgoll/fullstack-roadmap-series | JavaScriptHTMLCSS | 1.3k | 0 | 232 | 0 |
browserslist/browserslist | JavaScript | 12.4k | 0 | 721 | 0 |