firstbacksecondback
4 Results
|
Workshop
|
miniCTX: Neural Theorem Proving with (Long-)Contexts Jiewen Hu · Thomas Zhu · Sean Welleck |
||
|
Workshop
|
Formal Representation and Solution of Plane Geometric Problems Xiaokai Zhang · Na Zhu · Cheng Qin · LI Yang · Zhenbing Zeng · Tuo Leng |
||
|
Oral
|
Fri 10:40 |
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia · David Broman · Nick Haber · Noah Goodman |
|
|
Poster
|
Fri 11:00 |
Learning Formal Mathematics From Intrinsic Motivation Gabriel Poesia · David Broman · Nick Haber · Noah Goodman |