firstbacksecondback
6 Results
|
Poster
|
Tue 9:00 |
NaturalProver: Grounded Mathematical Proof Generation with Language Models Sean Welleck · Jiacheng Liu · Ximing Lu · Hannaneh Hajishirzi · Yejin Choi |
|
|
Poster
|
Wed 9:00 |
HyperTree Proof Search for Neural Theorem Proving Guillaume Lample · Timothee Lacroix · Marie-Anne Lachaux · Aurelien Rodriguez · Amaury Hayat · Thibaut Lavril · Gabriel Ebner · Xavier Martinet |
|
|
Poster
|
Tue 9:00 |
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis Jonathan Laurent · André Platzer |
|
|
Workshop
|
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Jiang · Sean Welleck · Jin Peng Zhou · Timothee Lacroix · Jiacheng Liu · Wenda Li · Mateja Jamnik · Guillaume Lample · Yuhuai Wu |
||
|
Poster
|
Thu 9:00 |
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers Albert Qiaochu Jiang · Wenda Li · Szymon Tworkowski · Konrad Czechowski · Tomasz Odrzygóźdź · Piotr Miłoś · Yuhuai Wu · Mateja Jamnik |
|
|
Workshop
|
Towards automating formalisation of theorem statements using large language models Siddhartha Gadgil · Anand Tadipatri · Navin Goyal · Ayush Agrawal · Ashvni Narayanan |