Bartosz Piotrowski (@BartoszPiotrowski)
github

BartoszPiotrowski

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    29
  • Global Rank 505,517 (Top 18 %)
  • Followers 7
  • Following 4
  • Registered about 10 years ago
  • Most used languages
    Python
         57.1 %
    OpenEdge ABL     14.3 %
    OCaml
         14.3 %
    Lean     14.3 %
  • Location πŸ‡΅πŸ‡± Poland
  • Country Total Rank 4,286
  • Country Ranking
    Lean     1
    OpenEdge ABL     2
    OCaml
         39
    Python
         1,267

Top repositories

1

lean-premise-selection

Lean
21
star
2

ATPboost

Python
4
star
3

transformers-for-mathematics

Python
3
star
4

premise-selection-deepmath-style

Python
3
star
5

rnn-for-proving-data

2
star
6

rewriting-with-NNs

OpenEdge ABL
2
star
7

random-forest

Random forest implementation, for tabular and sparse data.
OCaml
1
star
8

stateful-premise-selection-with-RNNs

Python
1
star