firstbacksecondback
5 Results
|
Workshop
|
STEM-PoM: Evaluating Language Models Math-Symbol Reasoning in Document Parsing Jiaru Zou · Qing Wang · Pratyush Thakur · Nickvash Kani |
||
|
Workshop
|
Formal Representation and Solution of Plane Geometric Problems Xiaokai Zhang · Na Zhu · Cheng Qin · LI Yang · Zhenbing Zeng · Tuo Leng |
||
|
Poster
|
Wed 16:30 |
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency Zenan Li · Yifan Wu · Zhaoyu Li · Xinming Wei · Xian Zhang · Fan Yang · Xiaoxing Ma |
|
|
Poster
|
Thu 16:30 |
Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers Alberto Alfarano · Francois Charton · Amaury Hayat |
|
|
Workshop
|
Jailbreaking Large Language Models with Symbolic Mathematics Emet Bethany · Mazal Bethany · Juan Nolazco-Flores · Sumit Jha · peyman najafirad |