LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

LeanHammer-training

Premise selection training and evaluation for LeanHammer

PythonEmerging

Stars

—

Forks

—

Contributors

3

Last push

13d ago

Recent commits

Latest commits.

expanded test coverage
ed75119FrederickPu13d ago
seperate query for premises
c46eaafFrederickPu13d ago
switched to constrative loss (match loss of original paper)
45ac12fFrederickPu13d ago
initial joint sketch
572b265FrederickPu13d ago
Reassert test/train/valid split in data.py
b495206JOSHCLUNE4mo ago

Fix typo in data.py

bccfefaJOSHCLUNE4mo ago

Edits to rerun evaluation

6281557JOSHCLUNE4mo ago

fa4cd9fJOSHCLUNE7mo ago

Top contributors

Builders behind this project.