Hey there! I’m Pietro, currently living in northern Italy where I’m
developing open source software, experimenting with local LLM projects
and hanging out in nature. Feel free to reach out for anything tech
related or not :).
Research
| Assessing the (In)Ability of LLMs to Reason in Interval Temporal
Logic |
paper |
PDF |
Projects
| Project |
Description |
| Java2Smali |
Converter for Java code to Smali bytecode for Android application
reverse-engineering or educational purposes. |
| LocalAIME |
Command-line tool to test local language models on AIME problems.
All OpenAI-compatible providers are supported. |
| TransFire |
Mobile app to run local LLMs while far from home, without port
forwarding. Routes a local LLM endpoint through your firebase instance
of choice, encrypting all traffic with a pre-shared AES key. |