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/
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
A strong start of the year with some great paper acceptances, congratulations to all my collaborators! For our less fortunate submissions: improve, rewrite, and let's try again :) #ICLR2025 #NAACL2025
Specifics below :D
Specifics below :D
January 23, 2025 at 11:42 AM
A strong start of the year with some great paper acceptances, congratulations to all my collaborators! For our less fortunate submissions: improve, rewrite, and let's try again :) #ICLR2025 #NAACL2025
Specifics below :D
Specifics below :D