Pietro Bellodi Email Github

Hey there! I'm Pietro, currently living in Italy where I'm developing open source software, experimenting with local LLMs and hanging out in nature. Feel free to reach out for anything :)


Projects

Java2Smali
Convert Java code to Smali for Android app reverse-engineering
Perplex
Inspect LLM's logprobs and perplexity over a piece of text, or compare two LLMs (like a git diff)
LocalAIME
Test LLMs on AIME problems. All OpenAI-compatible providers are supported, both local and remote
TransFire
Route a local LLM endpoint through Firebase, encrypted with AES

Research

TIME 2025
Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic