Viewing profile — henryrobbins00

I'm very bullish on proof automation as well. I'm currently researching AI for algorithm design and using automated theorem provers to get formal guarantees for generated algorithm…

This is super cool! I see you are using Aristotle as the automated theorem prover. I know Aristotle is free (for now at least), and it's hard to beat free... But, you still might b…

If you're excited about the relationship of Lean4 to LLMs/AI (like I am), you might find my recent post interesting [1]. TL;DR: I'm using automated theorem provers within my resear…

Some additional details about these results that didn't make it into the main post: - The OpenATP "standard provers" were used; see docs [5] for model / harness configuration detai…

TL;DR: I'm working on a Python package called OpenATP [1] that provides a common interface to coding agents for automated theorem proving in Lean. In the latest release, I added su…

Earnest question: any recommendation to not come off this way in forums? I created this tool for my own research and have found it really helpful to benchmark different automated t…

Try out Leanstral 1.5 on the latest version of OpenATP! OpenATP is an open-source Python package and CLI for agentic automated theorem provers. It natively supports running provers…

Really? I get a 403 that I must enable Lab models on https://admin.mistral.ai/plateforme/privacy . When I try to do that, it gives "There was an error trying to update the Labs set…

[flagged]

What a coincidence! I just released OpenATP earlier today. OpenATP is an open-source Python package and CLI for agentic automated theorem provers. It includes support for Leanstral…

TL;DR: I created a Python package to make running agentic automated theorem provers (e.g., Aristotle, Numina-Lean-Agent, Claude Code, etc...) as simple as open-atp prove Lemma.lean…

TL;DR: I built a website that allows users to track the concerts they've been to. If you have strong opinions about engineering/design or how shows should be tracked (festivals, ve…