Autoformalization & ATP using LLMs | Ex - League of Legends Data Analyst for @teamescagaming, @Anoesports and @GG_Gentlemen
Joined May 2021
- Tweets21
- Following411
- Followers330
- Likes141
I'm happy to share the results of my team's project on formalizing mathematics: FormalInception-ATP, an automated theorem proving system for Lean4.
It is the first tool to ever achieve 100% on the miniF2F-test benchmark.
Follow our blog to learn more: formalinception.github.io/
Powrót na stare śmieci 😄
Powracam do @teamescagaming jako analityk.
PS. K.A.M.C.I.A >> ChatGPT
Sezon 9 @ultraliga zaczyna się niebawem, tak więc przyszła najwyższa pora na przedstawienie naszej ekipy!!
🔝 @sherutop
🏞️ @uciu_lol
🪄 @trilanekk
🎯 @mis723lol
🏥 @Gerrolol
📖 @dawerlol & @grzybarez
📈 @prayforCentrvie & @Iteron_LoL
🤵♀️@Kamciajng
SMM: @k3m0nz
We're still looking for offers!
🔁&❤️ appreciated
After successful split with @anoesports, me and @Iteron_LoL are looking for a team as analysts duo.
For feedback feel free to contact anyone we've been working with.
Work samples (including scouting app we've been working on) upon request.
We're working on the app for months now. It is still in development. If someone has any feedback to give, be our guest.
With LFT, we want to show you our progress about the scouting app, if u have any feedback hit me up!
esportanalytics.net
Iteron retweeted
After successful split with @anoesports, me and @Iteron_LoL are looking for a team as analysts duo.
For feedback feel free to contact anyone we've been working with.
Work samples (including scouting app we've been working on) upon request.
I'm looking forward to seeing what we can do as a team this season!
These are our people behind the scenes.
👊🔵⚪🔵
Please welcome our League of Legends coaching staff:
Head Coach - @Duriel_GR
Strategic Coach - @LeonHuchel
Mental Coach - @speedy_ve
Assistant Coach - @grzybarez
Analyst - @prayforCentrvie
Data Analyst - @Iteron_LoL
Iteron retweeted
I'm no longer contracted to @GG_Gentlemen and therefore I'm looking for a new team for Summer Split as an Analyst (I work with @Iteron_LoL who's Data Analyst)
References:
@arceslol
@aceum_
Work samples upon request.
I'll go through every offer.
Iteron retweeted
After my 1st split in ERL im LFT as a coach again.
For more details or work samples DM me.
References: @JestemMaruzeL @bucu_MID
Graphics made by @Hizemet44
Iteron retweeted
Pełny sztab szkoleniowy akademii, prezentuje się następująco:
-Robert @GGseerees Bilski (trener)
-Michał @vStr0ng3r Ziółkowski (asystent trenera)
-Mateusz @Iteron_LoL Miraszewski (analityk)
-Igor @prayforCentrvie Świerczek (analityk)
Przywitajcie ich cieplutko. 😺
W przyszłym sezonie 2 dywizji @ultraliga, będą nas reprezentować następujące wytwory kuźni trenera Roberta @GGseerees Bilskiego, przywitajcie:
-Patryk @PolskiFok Langer
-Dominik @pil1_lol Wysocki
-Szymon @RawilEUW Zakrzewicz
-Antoni @Shakku_LoL Szeptycki
-Jakub @Acorderr Różek
😼
Iteron retweeted
W przyszłym sezonie 2 dywizji @ultraliga, będą nas reprezentować następujące wytwory kuźni trenera Roberta @GGseerees Bilskiego, przywitajcie:
-Patryk @PolskiFok Langer
-Dominik @pil1_lol Wysocki
-Szymon @RawilEUW Zakrzewicz
-Antoni @Shakku_LoL Szeptycki
-Jakub @Acorderr Różek
😼