I am going to present two papers at #COLM2025 tomorrow from 4:30-6:30pm, as none of our leading authors can attend due to visa issues.
Haven't done poster presentations for years 🤣🤣 .... so I will do my best!
#76: LongProc
#80: Goedel-Prover v1
Our Goedel-Prover V1 will be presented at COLM 2025 in Montreal this Wednesday afternoon!
I won’t be there in person, but my amazing and renowned colleague @danqi_chen will be around to help with the poster — feel free to stop by!
























