Pietro Monticone

icon company University of Trento icon location Trento, Italy icon location Informal Mathematics @UniTrento || Formal Mathematics at Harmonic || Formalising in @LeanProver || Developing in @JuliaLang and @Python.

Results 3 repositories owned by Pietro Monticone

BertSentimentClassification

8
Stars
0
Forks
Watchers

BERT Sentiment Classification on the Large Movie Review Dataset.

verified publisher icon pitmonticone

EnergySystemModelling

41
Stars
10
Forks
Watchers

Resources for the Energy System Modelling course by Tom Brown at Karlsruhe Institute of Technology (2020).

verified publisher icon pitmonticone

LeanProject

24
Stars
2
Forks
Watchers

Template for blueprint-driven formalization projects in Lean.

verified publisher icon pitmonticone