Gerasimos Lampouras
@glampouras-nlp.bsky.social
Call me Makis :) Team Leader of the London NLP Team at Huawei Noah's Ark Lab. Geek extra-ordinaire. My views are my own but they can be yours too!
https://glampouras.github.io/
https://glampouras.github.io/
WIth Lean-FIRE, we achieved the first end-to-end autoformalization for 13 Putnam problems, but also showed that conjecturing is still a massive reasoning challenge.
October 24, 2025 at 11:05 AM
WIth Lean-FIRE, we achieved the first end-to-end autoformalization for 13 Putnam problems, but also showed that conjecturing is still a massive reasoning challenge.
We're tackling this by treating conjecturing as its own task. We introduce ConjectureBench to measure performance, and Lean-FIRE, a new method to guide LLMs to generate better conjectures.
October 24, 2025 at 11:05 AM
We're tackling this by treating conjecturing as its own task. We introduce ConjectureBench to measure performance, and Lean-FIRE, a new method to guide LLMs to generate better conjectures.
New preprint on Formal Math Autoformalization \w Jasivan Sivakumar, Philipp Borchert, @ronald-cardenas.bsky.social: lnkd.in/edrMByDf
Formal math reasoning of today's LLMs is weaker than we think. Benchmarks often give the solution upfront. In reality, conjecturing is a critical reasoning step!
Formal math reasoning of today's LLMs is weaker than we think. Benchmarks often give the solution upfront. In reality, conjecturing is a critical reasoning step!
October 24, 2025 at 11:05 AM
New preprint on Formal Math Autoformalization \w Jasivan Sivakumar, Philipp Borchert, @ronald-cardenas.bsky.social: lnkd.in/edrMByDf
Formal math reasoning of today's LLMs is weaker than we think. Benchmarks often give the solution upfront. In reality, conjecturing is a critical reasoning step!
Formal math reasoning of today's LLMs is weaker than we think. Benchmarks often give the solution upfront. In reality, conjecturing is a critical reasoning step!
We are exhibiting at #ACL2025 in Vienna from July 28th to 30th!! Come visit us at booth 14 and have a chat with many of our experts (and me!), especially if interested in our hiring opportunities!!
t.co/fcbq95Pwn1
t.co/fcbq95Pwn1
July 27, 2025 at 8:54 AM
We are exhibiting at #ACL2025 in Vienna from July 28th to 30th!! Come visit us at booth 14 and have a chat with many of our experts (and me!), especially if interested in our hiring opportunities!!
t.co/fcbq95Pwn1
t.co/fcbq95Pwn1